llvm-svn: 76814

llvm-svn: 76813

Educate GRExprEngine::VisitGraph() about 'PreStmt'.

Mark the constructor of 'PostStmt' to be explicit, preventing implicit
conversions and the selection of the wrong 'generateNode' method in
GRStmtNodeBuilder.

Constify a bunch of arguments, which falls out of the changes to ProgramPoint.

llvm-svn: 76809

llvm-svn: 76807

Calls to Sema::MatchTemplateParametersToScopeSpecifier should not depend on the order of evaluation of their arguments to be correct.

llvm-svn: 76804

llvm-svn: 76800

llvm-svn: 76798

'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.

llvm-svn: 76797

definitions.

I'm not very familiar with this code, so please review.

llvm-svn: 76796

llvm-svn: 76795

Add a 'previsit' stage (that dispatches to registered Checkers) when evaluating the effects of CallExprs.

llvm-svn: 76794

interface to plug in domain-specific checker logic than the current
GRSimpleAPICheck interface. The new 'Checker' interface can actually generate
new nodes, allowing it to modify the state and refine the analysis (which
GRSimpleAPIChecks could not).

llvm-svn: 76793

llvm-svn: 76792

preconditions (in GRExprEngine) before the statement itself is evaluated.

llvm-svn: 76791

llvm-svn: 76790

real. It turns out that we need to actually move all of the qualifiers
up to the array type itself, then recanonicalize the deduced template
argument type.

llvm-svn: 76788

llvm-svn: 76784

llvm-svn: 76783

llvm-svn: 76779

llvm-svn: 76777

ctor's initialization of bases and fields.

llvm-svn: 76776

llvm-svn: 76774

  const T

can be matched with, e.g.,

  volatile int [5]

llvm-svn: 76773

llvm-svn: 76772

llvm-svn: 76771

This requires llvm rev. 76769 or higher.

llvm-svn: 76770

[class.union]p1", from John McCall!

llvm-svn: 76766

BugReporter API.  No real functionality change.

llvm-svn: 76760

via ASTContext.

llvm-svn: 76758

data members of class templates. We don't instantiate the definitions yet,
however.

llvm-svn: 76756

Fix a couple recent ABI regressions noticed during code review (fallout from the ObjC type system rewrite).

It's unfortunate that the mangling includes the low-level structs. Nevertheless, we need this for binary compatibility with GCC.

llvm-svn: 76755

operations.

llvm-svn: 76753

the wrong function.  :-)

llvm-svn: 76752

llvm-svn: 76741

out of line.

llvm-svn: 76740

llvm-svn: 76726

variable.  This gives us much more flexibility with defining more
ProgramPoints, which is the direction we are heading.  The removal of
various bit-mangling of pointers also cleans up the logic.

llvm-svn: 76721

instead preferring to use the a region's actual type when creating
symbols and using the QualType passed to Retrieve for implicit
casting.  This preprocessor logic is temporary; eventually we will
either remove region casts or keep them.

Temporarily toggle (via preprocessor directives) that SymbolicRegions
with heap storage are not undefined, but instead should be
symbolicated.  If we want to model that a SymbolicRegion is
uninitialized, we can explicitly model that by binding UndefinedVal to
that region.  It turns out that we want to treat most heap objects as
being defined, not the other way around.

llvm-svn: 76720

'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719

   __attribute__((address_space(1))) struct {int arr[ 3 ]; }  *p1;
   ... = p1->arr[2];  // load from address space 1

llvm-svn: 76717