functions that don't instantiate definitions.

llvm-svn: 80037

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

llvm-svn: 80026

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

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

llvm-svn: 79975

llvm-svn: 79974

llvm-svn: 79973

llvm-svn: 79972

llvm-svn: 79970

llvm-svn: 79968

llvm-svn: 79967

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

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

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

llvm-svn: 79930

llvm-svn: 79929

llvm-svn: 79928

llvm-svn: 79927

pointers, by extending the "composite pointer type" logic to include
member pointer types.

Introduce test cases for member pointer comparisons, including those
that involve the builtin operator candidates implemented earlier. 

llvm-svn: 79925

by Enea Zaffanella!

llvm-svn: 79924

llvm-svn: 79923

llvm-svn: 79922

llvm-svn: 79921

that type. Note that we do not produce a diagnostic if the type is
incomplete; rather, we just don't look for conversion functions. Fixes PR4660.

llvm-svn: 79919

generic tree transformation (also used for recanonicalization) and a
small amount of template-instantiation-specific logic.

llvm-svn: 79917