[PATCH] D43741: [Analyzer] More accurate modeling about the increment operator of the operand with type bool.
Henry Wong via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Mar 6 04:27:06 PST 2018
MTC updated this revision to Diff 137154.
MTC added a comment.
Remove the default configuration `-analyzer-store=region` in the test file.
Repository:
rC Clang
https://reviews.llvm.org/D43741
Files:
include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
lib/StaticAnalyzer/Core/ExprEngineC.cpp
test/Analysis/_Bool-increment-decrement.c
test/Analysis/bool-increment.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43741.137154.patch
Type: text/x-patch
Size: 6823 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180306/9400f0cf/attachment.bin>
More information about the cfe-commits
mailing list