[PATCH] D48831: alpha.unix.cstring.OutOfBounds checker enable/disable fix
Daniel Krupp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 3 06:21:29 PDT 2018
dkrupp updated this revision to Diff 153905.
dkrupp added a comment.
The patch has been updated.
Changes:
-The analysis path is cut if overvlow is detected even if CStringOutOfBounds is disabled
The assert(Filter.CheckCStringOutOfBounds || Filter.CheckCStringNullArg); cannot be put back, because if both checkers are disabled, the assertion is not true.
https://reviews.llvm.org/D48831
Files:
lib/StaticAnalyzer/Checkers/CStringChecker.cpp
test/Analysis/cstring-plist.c
test/Analysis/malloc.c
test/Analysis/string.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48831.153905.patch
Type: text/x-patch
Size: 8477 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180703/e75532dc/attachment-0001.bin>
More information about the cfe-commits
mailing list