Skip to content

Commit 7643d38

Browse files
author
Gabor Horvath
committed
Foobar
1 parent e588085 commit 7643d38

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

clang/test/Analysis/additive-folding-range-constraints.c

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ void clang_analyzer_eval(int);
77
#define INT_MIN (-INT_MAX - 1)
88

99

10+
//
11+
//
12+
//
1013
// Each of these adjusted ranges has an adjustment small enough to split the
1114
// solution range across an overflow boundary (Min for <, Max for >).
1215
// This corresponds to one set of branches in RangeConstraintManager.

0 commit comments

Comments
 (0)