Skip to content

Commit ddc9d46

Browse files
author
thk123
committed
Fixed constant propogation test
An additional assign is simplified as the LHS side simplification now works.
1 parent 09d1bd8 commit ddc9d46

File tree

1 file changed

+2
-2
lines changed
  • regression/goto-analyzer/constant_propagation_11

1 file changed

+2
-2
lines changed

regression/goto-analyzer/constant_propagation_11/test.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--variable --arrays --simplify out.gb
44
^EXIT=0$
55
^SIGNAL=0$
6-
^Simplified: assert: 1, assume: 0, goto: 1, assigns: 5, function calls: 0$
7-
^Unmodified: assert: 0, assume: 0, goto: 1, assigns: 10, function calls: 2$
6+
^Simplified: assert: 1, assume: 0, goto: 1, assigns: 6, function calls: 0$
7+
^Unmodified: assert: 0, assume: 0, goto: 1, assigns: 9, function calls: 2$
88
--
99
^warning: ignoring

0 commit comments

Comments
 (0)