Skip to content

Commit d9495da

Browse files
author
Robert Marsh
committed
C++: fix test
1 parent 4fdc992 commit d9495da

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
| bounded_bounds.c:5:7:5:7 | Load: x | positive |
1111
| bounded_bounds.c:6:11:6:11 | Load: y | positive strictlyPositive |
1212
| bounded_bounds.c:6:11:6:11 | Store: y | positive strictlyPositive |
13+
| bounded_bounds.c:16:12:16:12 | Load: x | negative strictlyNegative |
14+
| bounded_bounds.c:16:12:16:12 | Store: x | negative strictlyNegative |
1315
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
1416
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
1517
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |

cpp/ql/test/library-tests/rangeanalysis/signanalysis/bounded_bounds.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ int f(int x, int y) {
1010

1111
int g(int x, int y) {
1212
if (x < y) {
13-
return y
13+
return y;
1414
}
1515
if (x < 0) {
1616
return x;

0 commit comments

Comments
 (0)