Ted Kremenek 4d85146e6d Use conjured symbols for variables whose values are invalidated when ... passed-by-reference to a function. This allows us to build up constraints for their new values and restore some lost path-sensitivity. This addresses a few false positives since in Adium. llvm-svn: 53125		2008-07-03 23:26:32 +00:00
..
AST	Shuffle things around in preparation for integrating Eli's constant evaluator.	2008-07-03 04:20:39 +00:00
Analysis	Use conjured symbols for variables whose values are invalidated when	2008-07-03 23:26:32 +00:00
Basic	Make the width and alignment for long double consistent with the	2008-06-04 17:01:45 +00:00
CodeGen	Remove removed header.	2008-07-03 22:54:30 +00:00
Headers	Implementation of stdarg.h.	2008-05-29 10:40:55 +00:00
Lex	Fix PR2252: don't warn on negating an unsigned value ever, and don't emit	2008-07-03 03:47:30 +00:00
Parse	Add Sema support for C++ classes.	2008-07-01 10:37:29 +00:00
Rewrite	Fix rewrite rope to keep the leaf list up-to-date as it erases leaves	2008-05-28 18:45:56 +00:00
Sema	Shuffle things around in preparation for integrating Eli's constant evaluator.	2008-07-03 04:20:39 +00:00
Makefile	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00