llvm-project/clang/lib
Ted Kremenek 8ec5771dcb Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
adding assert

This fix required a few changes:

SimpleSValuator:
- Eagerly replace a symbolic value with its constant value in EvalBinOpNN
  when it is constrained to a constant.  This allows us to better constant fold
  values along a path.
- Handle trivial case of '<', '>' comparison of pointers when the two pointers
  are exactly the same.

RegionStoreManager:

llvm-svn: 83358
2009-10-06 01:39:48 +00:00
..
AST Refixed pr5086 by letting Expr::isNullPointerConstant 2009-10-06 00:09:31 +00:00
Analysis Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when 2009-10-06 01:39:48 +00:00
Basic Provide a common set of routines in Version.h that return Subversion 2009-10-05 20:33:49 +00:00
CodeGen Set appropriate context for a global variable while emitting debug info. 2009-10-06 00:35:31 +00:00
Driver Provide a common set of routines in Version.h that return Subversion 2009-10-05 20:33:49 +00:00
Frontend Refactor the c++ include path a bit. 2009-10-06 01:33:02 +00:00
Headers Make our char vector types not be explicitly signed to match GCC and to fix compilation with C++ and -fno-lax-vector-conversions 2009-09-18 19:18:19 +00:00
Index Pull TypeLocVisitor into its own header file. 2009-09-29 21:27:32 +00:00
Lex Replace the -code-completion-dump option with 2009-09-22 21:11:38 +00:00
Parse Move DeclSpec::setProtocolQualifiers() out of line. 2009-09-29 19:42:11 +00:00
Rewrite Remove tabs, and whitespace cleanups. 2009-09-09 15:08:12 +00:00
Sema Refixed pr5086 by letting Expr::isNullPointerConstant 2009-10-06 00:09:31 +00:00
CMakeLists.txt Introduce the 'Index' library. 2009-07-05 22:22:19 +00:00
Makefile Introduce the 'Index' library. 2009-07-05 22:22:19 +00:00