functions that don't instantiate definitions.

llvm-svn: 80037

llvm-svn: 80034

implicit cast logic in RegionStoreManager to BasicStoreManager. This involved
moving CastRetriedVal from RegionStoreManager to StoreManager.

llvm-svn: 80026

llvm-svn: 80022

llvm-svn: 80020

llvm-svn: 80018

accurately.  Prevents the assert from triggering incorrectly when friending 
functions first declared in extern "C" contexts.  Fixes bug 4757.

llvm-svn: 80016

the logic is there for out-of-line definitions with multiple levels of
nested templates, but this is still a work-in-progress: we're having
trouble determining when we should look into a dependent
nested-name-specifier. 

llvm-svn: 80003

Fixes pr4771.

llvm-svn: 79999

llvm-svn: 79998

llvm-svn: 79995

llvm-svn: 79991

llvm-svn: 79989

llvm-svn: 79987

If a parameter has a default argument expression, make sure to instantiate the parameter type before checking that the expression is a valid initializer.

llvm-svn: 79986

llvm-svn: 79985

llvm-svn: 79984

Now AnalysisManager is the only place we can get CodeDecl.
This leads to an API change: GRState::bindExpr() now takes the CFG argument.

llvm-svn: 79980

llvm-svn: 79979

llvm-svn: 79976

llvm-svn: 79975

llvm-svn: 79974

llvm-svn: 79973

llvm-svn: 79972

llvm-svn: 79970

llvm-svn: 79968

llvm-svn: 79967

llvm-svn: 79965

llvm-svn: 79964

llvm-svn: 79962

llvm-svn: 79956

member templates declared inside other templates. This allows us to
match out-of-line definitions of member function templates within
class templates to the declarations within the class template. We
still can't handle out-of-line definitions for member class templates,
however.

llvm-svn: 79955

llvm-svn: 79954

the condition. This eliminates a source of bugs where the client doesn't
correctly reason about undefined or unknown values. This fixes PR 4759.

llvm-svn: 79952

SVal. This allows us to use the C++ type system to distinguish between SVals
that are potentially unknown/undefined and those that are not.

llvm-svn: 79951

llvm-svn: 79950

Also, do pass -static even with -dynamic on i386.

llvm-svn: 79948

put out the bitmap when all objects are scanned.

llvm-svn: 79947

llvm-svn: 79941

llvm-svn: 79931