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 70bf6d6102 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely 
converting the constant value of the LHS of a '<<'/'>>' operation to the same APSInt value of the
RHS.

llvm-svn: 84269
 		2009-10-16 20:46:24 +00:00
..
CFDateGC.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
CFNumber.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
CFRetainRelease_NSAssertionHandler.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
CGColorSpace.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
CheckNSError.m Update test case. 2009-08-06 06:26:40 +00:00
MissingDealloc.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
NSPanel.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
NSString.m Per an astute observation from Zhongxing Xu, remove a "special case" logic in 2009-10-15 01:40:34 +00:00
NSWindow.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
NoReturn.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
ObjCProperties.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
ObjCRetSigs.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
PR2599.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
PR2978.m Prep for new warning. 2009-07-21 18:52:41 +00:00
PR3991.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
array-struct.c Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. 2009-07-30 22:37:41 +00:00
casts.c Add comments to test. 2009-10-14 06:05:09 +00:00
casts.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
cfref_PR2519.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
cfref_rdar6080742.c Remove tabs, and whitespace cleanups. 2009-09-09 15:08:12 +00:00
complex.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
concrete-address.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
conditional-op-missing-lhs.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
dead-stores.c Turn -Wparentheses on by default. 2009-10-13 17:57:23 +00:00
dead-stores.cpp Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
dead-stores.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
delegates.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
elementtype.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
exercise-ps.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
fields.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
func.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
misc-ps-64.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
misc-ps-basic-store.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
misc-ps-eager-assume.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
misc-ps-ranges.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
misc-ps-region-store-i386.m More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. 2009-07-15 02:31:43 +00:00
misc-ps-region-store-x86_64.m More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. 2009-07-15 02:31:43 +00:00
misc-ps-region-store.m Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when 2009-10-06 01:39:48 +00:00
misc-ps.m Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely 2009-10-16 20:46:24 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
no-exit-cfg.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
no-outofbounds.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
null-deref-ps-region.c SymbolicRegions may also be live roots. 2009-04-29 09:24:35 +00:00
null-deref-ps.c Remove test case's dependency on platform headers. 2009-09-28 23:54:40 +00:00
outofbound.c Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. 2009-08-01 05:59:39 +00:00
override-werror.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
pr4209.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
pr_2542_rdar_6793404.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
pr_4164.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
ptr-arith.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
rdar-6442306-1.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
rdar-6540084.m Prep for new warning. 2009-07-21 18:56:04 +00:00
rdar-6541136-region.c Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. 2009-08-01 05:59:39 +00:00
rdar-6541136.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
rdar-6562655.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
rdar-6582778-basic-store.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
rdar-7168531.m Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers 2009-08-25 22:55:09 +00:00
refcnt_naming.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
region-1.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
region-only-test.c Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. 2009-07-30 22:37:41 +00:00
retain-release-basic-store.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
retain-release-gc-only.m retain/release checker: [CIContext createCGImage...] and friends returned CF 2009-08-28 19:52:12 +00:00
retain-release-region-store.m retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). 2009-10-16 00:30:49 +00:00
retain-release.m retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. 2009-10-15 22:25:12 +00:00
security-syntax-checks.m Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng 2009-09-02 02:47:41 +00:00
stack-addr-ps.c Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
uninit-msg-expr.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
uninit-ps-rdar6145427.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
uninit-vals-ps-region.c Shorten the static analyzer diagnostic for 'use of garbage value'. 2009-09-24 00:44:26 +00:00
uninit-vals-ps.c Shorten the static analyzer diagnostic for 'use of garbage value'. 2009-09-24 00:44:26 +00:00
uninit-vals.c Prep for new warning. 2009-07-21 18:56:34 +00:00
uninit-vals.m Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only 2009-07-29 21:43:22 +00:00
unions-region.m Fix a few more false positives involving RegionStore and unions, but this time 2009-08-06 22:33:36 +00:00
unused-ivars.m Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks 2009-08-07 21:13:23 +00:00