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

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

llvm-svn: 79916

llvm-svn: 79913

llvm-svn: 79912

declarations (e.g., FunctionTemplateDecl -> CXXConstructorDecl) before
performing semantic analysis on the declarations. Fixes PR4761.

llvm-svn: 79911

llvm-svn: 79907