llvm-project/clang/test
Ted Kremenek 22358bd681 Add a hack in the analyzer to recover some path-sensitivity at branch
conditions. Currently the analyzer does not reason well about
promotions/truncations of symbolic values, so at branch conditions when we see:

  if (condition)
  
and condition is something like a 'short' or 'char', essentially ignore the
promotion to 'int' so that we track constraints on the original symbolic value.
We only ignore the casts if the underlying type has the same or fewer bits as
the converted type.

This fixes:

<rdar://problem/6619921>

llvm-svn: 66899
2009-03-13 16:32:54 +00:00
..
Analysis Add a hack in the analyzer to recover some path-sensitivity at branch 2009-03-13 16:32:54 +00:00
CodeGen x86_32 ABI: Don't try and expand structures with bitfields. 2009-03-11 22:05:26 +00:00
CodeGenCXX Address Doug's comments wrt the mangler and fix Eli's test case 2009-03-10 17:07:44 +00:00
CodeGenObjC Fix test. 2009-03-13 00:43:34 +00:00
Coverage Don't mangle names of local variables. 2009-03-05 22:59:19 +00:00
Frontend Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* 2009-03-02 06:16:29 +00:00
Lexer this test isn't testing anything. 2009-03-08 20:12:34 +00:00
Misc add \n characters to the scratch buffer *before* returned tokens. 2009-03-08 08:16:41 +00:00
Parser Implement property '.' notation on Factory/Class objects. Parser changes aren't very pretty:-( 2009-03-09 21:12:44 +00:00
Preprocessor fix PR3764 - A redefinition of a pre-processor macro fails 2009-03-09 20:33:32 +00:00
Rewriter Extend builtin "attribute" syntax to include a notation for 2009-02-14 00:32:47 +00:00
Sema Reimplement fix for <rdar://problem/6451399> problems with labels and blocks. 2009-03-13 16:03:38 +00:00
SemaCXX Fix various problems with matching out-of-line definitions of static 2009-03-11 23:52:16 +00:00
SemaObjC Implement FIXME related to <rdar://problem/6496506> Implement class setter/getter for properties. 2009-03-11 20:12:18 +00:00
SemaObjCXX When inside an Objective-C++ method, name lookup should look into the 2009-02-16 19:28:42 +00:00
SemaTemplate Implement template instantiation for builtin binary operators 2009-03-12 22:46:12 +00:00
Serialization true is pass, false is success. 2009-02-03 07:28:12 +00:00
Makefile Fix spelling error, and add target triplet to header. 2009-03-13 00:41:24 +00:00
TestRunner.sh Test commit. 2008-10-15 00:26:06 +00:00