llvm-svn: 48358

Patch by Sam Bishop!

llvm-svn: 48357

An address space name cannot be used to qualify an object that has automatic
storage duration.  Still not catching ASQual'd allocas of array type, just 
scalars at the moment.

llvm-svn: 48350

llvm-svn: 48347

to be run on other declarations of blocks of code (e.g., Objective-C methods.)

llvm-svn: 48339

llvm-svn: 48332

This still isn't right, but is slightly nicer.

llvm-svn: 48331

Set the start of DeclStmt range.  Right now the end is meaningless 
though.

llvm-svn: 48330

llvm-svn: 48324

we gracefully back out and return NULL for the CFG, allowing clients to skip
analyzing functions with these CFGs. We will add support later.

Modified base ASTConsumer "CFGVisitor" to detect when a CFG is not constructed
and to emit a warning.

llvm-svn: 48322

- For explicit ivar refers, make sure the cast is propagated to the AST.
- Don't free the base (since it is still in use).
This fixes the recent regression to test/Rewriter/objc-ivar-receiver-1.m.

llvm-svn: 48309

Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.
Added experimental support for conjuring symbols during assingments where the RHS is "unknown".  This allows more value tracking for path-sensitivity.
Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible.

llvm-svn: 48306

llvm-svn: 48304

Avoid using the "unnamed struct field" extension (enabled with -fms-extensions). This feature/extension silently does the wrong thing in g++. As far as I can tell, g++ simply throws the field away entirely (note that it works fine with gcc). Since I am now always casting the object (for other reasons), accessing protected/public fields simply requires the cast refer to the defining class. This solution is simpler all around (thanks to Chris for suggesting it).

llvm-svn: 48302

no summaries (useful for false-path pruning).

llvm-svn: 48301

of function calls. This is useful in pruning paths.

llvm-svn: 48299

llvm-svn: 48290

Use the "used" attribute. Without it, g++ removes all the meta-data:-( This doesn't happen when compiling straight C code.

llvm-svn: 48287

from the sources, and to try and generate only a single path from sources
to roots.

llvm-svn: 48286

-Wrap objc runtime calls with "extern "C"" (for now).

llvm-svn: 48284

This should "fix" all but one of the test failure.

llvm-svn: 48275

llvm-svn: 48273

llvm-svn: 48272

llvm-svn: 48271

Make ivar rewrite C++ friendly (since C++ forces a unified namespace for typedefs/structures). The previous version of the rewriter generated both a type def and structure def for each class (which doesn't fly in C++).

llvm-svn: 48266

llvm-svn: 48242

llvm-svn: 48238

object to pretty-print the component of a state that is specific to a checker.

llvm-svn: 48237

nodes to use a trim sources.

llvm-svn: 48236

llvm-svn: 48235

llvm-svn: 48234

llvm-svn: 48231

llvm-svn: 48230

llvm-svn: 48214

Generate meta-data in a C++ compatible way (remove 2 dependencies on C "flexible array member" idiom and perform some extra casts).

llvm-svn: 48202

llvm-svn: 48191

llvm-svn: 48190

llvm-svn: 48185

llvm-svn: 48172

llvm-svn: 48168