llvm-project/clang/test
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
..
Analysis Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle 2009-02-25 22:32:02 +00:00
CodeGen Temporarily disable clearing of insert point (to indicate unreachable 2009-02-25 20:59:29 +00:00
CodeGenCXX Add basic support for C++ name mangling according to the Itanium C++ 2009-02-13 00:10:09 +00:00
CodeGenObjC handle @encode interactions with array initializers. 2009-02-24 23:10:27 +00:00
Coverage Support va_arg on _Complex. 2009-02-10 03:03:30 +00:00
Driver just remove this insane testcase :) 2009-02-08 19:44:51 +00:00
Lexer Fix PR2477 - clang misparses "//*" in C89 mode 2009-01-16 22:39:25 +00:00
Misc Fix PR3635 by handling ## magically 2009-02-24 05:29:33 +00:00
Parser Fix <rdar://problem/6500554> missing objc error message. 2009-02-20 22:59:16 +00:00
Preprocessor fix PR3579: __LINE__ expands to the presumed location of the 2009-02-15 21:06:15 +00:00
Rewriter Extend builtin "attribute" syntax to include a notation for 2009-02-14 00:32:47 +00:00
Sema Use CheckAssignmentConstraints for checking the cleanup attr function. Fixes PR3656. 2009-02-25 17:19:08 +00:00
SemaCXX Improve merging of function declarations. Specifically: 2009-02-24 01:23:02 +00:00
SemaObjC Use CheckAssignmentConstraints for checking the cleanup attr function. Fixes PR3656. 2009-02-25 17:19:08 +00:00
SemaObjCXX When inside an Objective-C++ method, name lookup should look into the 2009-02-16 19:28:42 +00:00
SemaTemplate Improve location information on "reused" class template specialization 2009-02-25 22:18:32 +00:00
Serialization true is pass, false is success. 2009-02-03 07:28:12 +00:00
Makefile Add test case for __ASSEMBLER__ definition. 2008-12-01 19:23:47 +00:00
TestRunner.sh Test commit. 2008-10-15 00:26:06 +00:00