space better.  Remove this reference.  To make that work, change some APIs
(most importantly, getDesugaredType()) to take an ASTContext& if they
need to return a QualType.  Simultaneously, diminish the need to return a
QualType by introducing some useful APIs on SplitQualType, which is
just a std::pair<const Type *, Qualifiers>.

llvm-svn: 121478

llvm-svn: 121298

zextOrTrunc(), and APSInt methods extend(), extOrTrunc() and new method
trunc(), to be const and to return a new value instead of modifying the
object in place.

llvm-svn: 121121

New AST node introduced: BinaryTypeTraitExpr; to be reused for more intrinsics.

llvm-svn: 121074

reason this is limited to C++, and it's certainly not limited to temporaries.

llvm-svn: 120996

llvm-svn: 120970

Environment::lookupExpr() and move its implementation
out-of-line.

llvm-svn: 120969

More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list:

struct X {
  X() : au_i1(123) {}
  union {
    int au_i1;
    float au_f1;
  };
};

clang will now deal with au_i1 explicitly as an IndirectFieldDecl.

llvm-svn: 120900

not actually frequently used, because ImpCastExprToType only creates a node
if the types differ.  So explicitly create an ICE in the lvalue-to-rvalue
conversion code in DefaultFunctionArrayLvalueConversion() as well as several
other new places, and consistently deal with the consequences throughout the
compiler.

In addition, introduce a new cast kind for loading an ObjCProperty l-value,
and make sure we emit those nodes whenever an ObjCProperty l-value appears
that's not on the LHS of an assignment operator.

This breaks a couple of rewriter tests, which I've x-failed until future
development occurs on the rewriter.

Ted Kremenek kindly contributed the analyzer workarounds in this patch.

llvm-svn: 120890

llvm-svn: 120873

a node in the trimmed graph might not always
correctly map back to the original error node.
This could cause a crash in some cases when
flagging memory leaks.

llvm-svn: 120795

when generating DOT output for an ExplodedGraph.

llvm-svn: 120794

llvm-svn: 120783

Remove leftover code and use the text path diagnostic client even without a specified output file since
it just uses diagnostic notes.

llvm-svn: 120773

the sequence of events; useful for testing.

llvm-svn: 120770

llvm-svn: 120769

llvm-svn: 120768

llvm-svn: 120696

into the latter.

llvm-svn: 120643

to 'assumeXXX'.

llvm-svn: 120614

'evalXXX'.

llvm-svn: 120609

reflects what the class actually does.

llvm-svn: 120605

llvm-svn: 120555

llvm-svn: 120433

about the reliability of this yet.

llvm-svn: 120422

llvm-svn: 120297

llvm-svn: 120178

llvm-svn: 120177

llvm-svn: 120176

llvm-svn: 120173

llvm-svn: 120172

Also apply some new coding style.

llvm-svn: 120144

llvm-svn: 120143

llvm-svn: 120142

llvm-svn: 120141

to be consistent with the type of 'this' expr in the method.
此行及以下内容将会被忽略--

M    test/Analysis/method-call.cpp
M    include/clang/Checker/PathSensitive/GRExprEngine.h
M    lib/Checker/GRCXXExprEngine.cpp

llvm-svn: 120094

This is required for supporting const reference to temporary objects.

llvm-svn: 120093

to remake the stackframe everytime in GRExprEngine::ProcessCallEnter().

llvm-svn: 120087

llvm-svn: 120073

ImmutableSet/ImmtuableMap/ImmutableList APIs.

Along the way, clean up some method names in
the static analyzer so that they are more
descriptive and/or start with lowercase letters.

llvm-svn: 120071