llvm-project/clang/Analysis
Ted Kremenek 3a742d280c For uninitialized values analysis, added special treatment for declarations
of array types.  For things like:

  char x[10];
  
we should treat "x" as being initialized, because the variable "x" really
refers to the memory block of the array. Clearly x[1] is uninitialized, but
expressions like "(char*) x" really do refer to an initialized value. This
simple dataflow analysis does not reason about the contents of arrays.

This fixes: PR 1859 (http://llvm.org/bugs/show_bug.cgi?id=1859)

llvm-svn: 44984
2007-12-13 05:14:22 +00:00
..
DeadStores.cpp TargetInfo no longer includes a reference to SourceManager. 2007-12-12 22:39:36 +00:00
LiveVariables.cpp Fixed bug in live-variable analysis and uninitialized-values analysis where 2007-12-13 04:47:15 +00:00
Makefile fix comment 2007-09-15 21:48:50 +00:00
UninitializedValues.cpp For uninitialized values analysis, added special treatment for declarations 2007-12-13 05:14:22 +00:00