when the default case is winnowed down to be infeasible.  When all
cases were ruled out (and the analysis state for the default case
would be infeasible) we would still consider the default case
possible.  This fixes PR 5969.

llvm-svn: 93017

ASTContext::hasSameUnqualifiedType() when one of the type is VariableArrayType.

llvm-svn: 92723

Make static analysis support for C++ 'this' expression context-sensitive.  Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it.

llvm-svn: 92675

GRStateManager.  Having these references was an abstraction violation,
as they really should only be known about GRExprEngine.

This change required adding a new 'ProcessAssume' callback in
GRSubEngine.  GRExprEngine implements this callback by calling
'EvalAssume' on all registered Checker objects as well as the
registered GRTransferFunc object.

llvm-svn: 92549

Add new states for symbolic regions tracked by malloc checker. This enables us
to do malloc checking more accurately. See test case.

Based on Lei Zhang's patch and discussion.

llvm-svn: 92342

llvm-svn: 92305

llvm-svn: 92162

GRExprEngine.cpp(1348) : warning C4305: 'argument' : truncation from 'clang::ProgramPoint::Kind' to 'bool'

llvm-svn: 92154

llvm-svn: 92121

Enhance dataflow analyses to recognize branch statements in the CFG used as hooks for the initialization of condition variables.

llvm-svn: 92119

llvm-svn: 92116

llvm-svn: 92114

llvm-svn: 92113

CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked.

llvm-svn: 92111

llvm-svn: 92106

llvm-svn: 92105

llvm-svn: 92102

llvm-svn: 92101

llvm-svn: 92087

llvm-svn: 92012

llvm-svn: 91991

So we should use the current program point.

llvm-svn: 91989

Add transfer function support in GRExprEngine for IfStmts with initialized condition variables.

llvm-svn: 91987

llvm-svn: 91986

llvm-svn: 91985

llvm-svn: 91982

Fix PR 5857.  When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion.

llvm-svn: 91981

llvm-svn: 91970

Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue.

llvm-svn: 91969

llvm-svn: 91952

Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference.

llvm-svn: 91926

llvm-svn: 91818

llvm-svn: 91751

Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context.  Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer.

llvm-svn: 91710

llvm-svn: 91615

Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion to evaluate the arguments of a CallExpr.  This simplifies the logic and makes it easier to read.  (it also avoids any issues with blowing out the stack if the CallExpr had a ridiculous number of arguments)

llvm-svn: 91613

llvm-svn: 91610

llvm-svn: 91591

llvm-svn: 91577

llvm-svn: 91572