functionality intended.

llvm-svn: 125156

static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes.

The optimization involves eagerly pruning ExplodedNodes from the ExplodedGraph that contain
practically no difference between the predecessor and successor nodes.  For example, if
the state is different between a predecessor and a node, the node is left in.  Only for
the 'environment' component of the state do we not care if the ExplodedNodes are different.
This paves the way for future optimizations where we can reclaim the environment objects.

llvm-svn: 125154

llvm-svn: 125153

Also, reorganize and make very explicit the logic for determining
the value kind and type of a referenced declaration.

llvm-svn: 125150

destructor or copy constructor than let debug info know about it.

Radar 8945514.

llvm-svn: 125142

llvm-svn: 125131

analyzer, retain/release checker: Remove hack where objects passed in message to 'self' are no longer tracked.

llvm-svn: 125130

llvm-svn: 125129

linkage rather than the presence of the 'static' storage class specifier.
Fixes rdar://problem/8814626.

llvm-svn: 125126

setter and getter types mismatch. // rdar://8966864

llvm-svn: 125125

Eventually there will also be a lib/StaticAnalyzer/Frontend that will handle initialization and checker registration.
Yet another library to avoid cyclic dependencies between Core and Checkers.

llvm-svn: 125124

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp

llvm-svn: 125123

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h

llvm-svn: 125122

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h

llvm-svn: 125121

llvm-svn: 125119

record away from the core processor record. The tangling of these two
data structures led to some inefficiencies (e.g., deserializing all
of the detailed preprocessing record when we didn't need it, such as
while performing code completion) along with some unnecessary
ugliness.

llvm-svn: 125117

llvm-svn: 125115

llvm-svn: 125114

llvm-svn: 125111

llvm-svn: 125104

instead from the Scope; Inner scopes in bodies don't have DeclContexts associated with them.

Fixes http://llvm.org/PR9160 & rdar://problem/8966163.

llvm-svn: 125097

in liu of a class method getter. 
// rdar://8962253

llvm-svn: 125094

format, so that llvm-bcanalyzer knows about all of the various record
kinds.

llvm-svn: 125086

Block{Function,Module} base class.  Minor other refactorings.

Fixed a few address-space bugs while I was there.

llvm-svn: 125085

mutable fields and with trivial destructors and copy constructors.

llvm-svn: 125073

a glvalue as a temporary. Previously, we were enumerating all of the
cases that coul return glvalues and might be called with
Sema::MaybeBindToTemporary(), but that was gross and we missed the
Objective-C property reference case.

llvm-svn: 125070

functionality intended.

llvm-svn: 125069

on invalid code and we don't really care, so kill it harder.

llvm-svn: 125068

in liu of a class method getter. objc++ uses a different
code path and is more involved (TBD).

llvm-svn: 125061

llvm-svn: 125021

Move uninitialized variable checking back under -Wuninitialized-experimental.  It is clear from user feedback that this warning is not quite ready.

llvm-svn: 125007

  - BlockDeclRefExprs always store VarDecls
  - BDREs no longer store copy expressions
  - BlockDecls now store a list of captured variables, information about
    how they're captured, and a copy expression if necessary
    
With that in hand, change IR generation to use the captures data in       
blocks instead of walking the block independently.        

Additionally, optimize block layout by emitting fields in descending
alignment order, with a heuristic for filling in words when alignment
of the end of the block header is insufficient for the most aligned
field.

llvm-svn: 125005

llvm-svn: 125000

llvm-svn: 124988

Fix self-host; if a thunk already exists and has available_externally linkage, we should change its linkage instead of asserting.

llvm-svn: 124986

When building with optimizations, emit thunks with available_externally linkage so devirtualized function calls can also be de-thunked.

llvm-svn: 124984

llvm-svn: 124983

is built as part of LLVM.

llvm-svn: 124982

llvm-svn: 124981

Untested, but should work :)

llvm-svn: 124975