a better solution for it in the future.

llvm-svn: 76818

llvm-svn: 76817

llvm-svn: 76816

Now when creating a Preprocessor we can pass it a temporary LangOptions object instead of having to remember to keep it around.

llvm-svn: 76815

llvm-svn: 76814

llvm-svn: 76813

llvm-svn: 76812

llvm-svn: 76811

which stand for no-unsigned-wrap and no-signed-wrap.

llvm-svn: 76810

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

Reorder if-else branches as suggested by Bill.

llvm-svn: 76808

llvm-svn: 76807

llvm-svn: 76806

llvm-svn: 76805

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

llvm-svn: 76804

llvm-svn: 76803

unintended matches.

llvm-svn: 76802

Constify the key in Mi2IndexMap.

llvm-svn: 76801

llvm-svn: 76800

llvm-svn: 76799

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

simplification.
 - NFC

llvm-svn: 76789

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: 76787

llvm-svn: 76786

llvm-svn: 76785

llvm-svn: 76784

llvm-svn: 76783

llvm-svn: 76782

Put comment printing under asm-verbose.

llvm-svn: 76780

llvm-svn: 76779

llvm-svn: 76778