File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed
cpp/ql/test/library-tests/rangeanalysis/signanalysis Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change 2525| minmax.c:18:37:18:37 | Load: x | positive strictlyPositive |
2626| minmax.c:18:40:18:40 | Load: y | positive strictlyPositive |
2727| minmax.c:18:43:18:43 | Load: z | positive strictlyPositive |
28+ | minmax.c:20:2:24:3 | Store: ... = ... | positive |
29+ | minmax.c:22:18:22:22 | Store: ... = ... | positive strictlyPositive |
30+ | minmax.c:22:22:22:22 | Load: x | positive strictlyPositive |
31+ | minmax.c:23:3:23:3 | Load: t | positive |
32+ | minmax.c:23:3:23:3 | Phi: t | positive |
33+ | minmax.c:26:37:26:37 | Load: x | positive strictlyPositive |
34+ | minmax.c:26:40:26:40 | Load: y | positive strictlyPositive |
35+ | minmax.c:26:43:26:43 | Load: z | positive |
2836| test.c:7:10:7:10 | Phi: p | positive |
2937| test.c:8:5:8:19 | Store: ... = ... | positive strictlyPositive |
3038| test.c:8:13:8:17 | Load: count | positive |
You can’t perform that action at this time.
0 commit comments