We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9b2d370 commit d384997Copy full SHA for d384997
clang/test/Analysis/ArrayBound/verbose-tests.c
@@ -408,9 +408,5 @@ int *nothingIsCertain(int x, int y) {
408
// {{Access of 'int' element in the heap area at an overflowing index}}
409
// but apparently the analyzer isn't smart enough to deduce this.
410
411
- // Keep constraints alive. (Without this, it is possible that the overeager
412
- // garbage collection of constraints _also_ prevents the intended behavior in
413
- // this testcase.)
414
-
415
return mem;
416
}
0 commit comments