maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Ted Kremenek dc3f50fbd9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle 
expressions of the form: 'short x = (y != 10);' While we handle 'int x = (y !=
10)' lazily, the cast to another integer type currently loses the symbolic
constraint. Eager evaluation of the constraint causes the paths to bifurcate and
eagerly evaluate 'y != 10' to a constant of 1 or 0. This should address
<rdar://problem/6619921> until we have a better (more lazy approach) for
handling promotions/truncations of symbolic integer values.

llvm-svn: 65480
 		2009-02-25 22:32:02 +00:00
..
CFDateGC.m Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. 2009-02-17 19:29:07 +00:00
CFNumber.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
CFRetainRelease_NSAssertionHandler.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
CGColorSpace.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
CheckNSError.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
MissingDealloc.m Add test case illustrating special handling of 'SenTestCase' subclasses for the missing -dealloc check. 2009-02-13 22:26:30 +00:00
NSPanel.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
NSString.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
NSWindow.m retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives). 2009-02-23 02:51:29 +00:00
NoReturn.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
ObjCProperties.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
ObjCRetSigs.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
PR2599.m Add test case for PR 2599. 2009-02-23 01:29:25 +00:00
PR2978.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
array-struct.c add test case. 2009-02-19 08:42:43 +00:00
cfref_PR2519.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
cfref_rdar6080742.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
complex.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
conditional-op-missing-lhs.c Convert tabs to spaces. 2009-02-17 19:53:58 +00:00
dead-stores.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
dead-stores.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
exercise-ps.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
fields.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
func.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
misc-ps-basic-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
misc-ps-eager-assume.m Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle 2009-02-25 22:32:02 +00:00
misc-ps-region-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
misc-ps.m Fix <rdar://problem/6611677>: Add basic transfer function support in the static 2009-02-24 02:23:11 +00:00
no-exit-cfg.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
null-deref-ps.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
outofbound.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6442306-1.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6539791.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6540084.m Fix horrible non-termination bug in LiveVariables. The issue was that 2009-01-30 21:35:30 +00:00
rdar-6541136-region.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6541136.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6562655.m Add test case for <rdar://problem/6562655>. 2009-02-20 00:10:09 +00:00
rdar-6582778-basic-store.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Add test case for 'nil receiver returns undefined struct value' check. 2009-02-19 04:07:38 +00:00
refcnt_naming.m More retain/release naming convention tests. 2009-02-23 02:50:20 +00:00
region-only-test.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
retain-release-basic-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
retain-release-gc-only.m Add a few more GC-only test cases for the retain/release checker. 2009-02-18 22:11:23 +00:00
retain-release-region-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
retain-release.m Update test case to include a leak that occurs at the place of allocation. 2009-02-19 18:20:28 +00:00
stack-addr-ps.c Fix test: config.h is not guaranteed to exist at the location in 2009-02-18 01:02:14 +00:00
uninit-msg-expr.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-ps-rdar6145427.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-vals-ps-region.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-vals-ps.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-vals.c Extend builtin "attribute" syntax to include a notation for 2009-02-14 00:32:47 +00:00
uninit-vals.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
unused-ivars.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00