microbat icon indicating copy to clipboard operation
microbat copied to clipboard

Published 20 hours ago • verified publisher icon llmhyy

Control Dominator incorrect for steps outside if-else block

Open dingyuchen opened this issue 3 years ago • 0 comments

image

Bug Overview

From the Step entries, we see that step 4 onwards all have step 3 as a control dominator. This is a bug since all steps will execute regardless of the result of step 4. Step 3 corresponds to line 14, and step 4 corresponds to line 19. image

Reproducing steps:

  1. Run Microbat trace debugging on DiningPhilosophersDebug
  2. Observe DB Step entries

dingyuchen avatar Jul 03 '21 04:07 dingyuchen