Skip to content

Commit 4371d02

Browse files
author
Robert Marsh
committed
C++: accept SignAnalysis.expected
1 parent 5dd8c9c commit 4371d02

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
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
@@ -16,6 +16,8 @@
1616
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
1717
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
1818
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
19+
| inline_assembly.c:21:29:21:29 | Load: x | positive |
20+
| inline_assembly.c:21:32:21:32 | Load: y | positive |
1921
| minmax.c:16:9:16:10 | Constant: 1 | positive strictlyPositive |
2022
| minmax.c:16:9:16:10 | Store: 1 | positive strictlyPositive |
2123
| minmax.c:16:16:16:17 | Constant: 2 | positive strictlyPositive |

0 commit comments

Comments
 (0)