RemoveDeadBindings early because (1) it will always be called and (2) we can
dispatch to a plug-in transfer function that can evaluate the effect of dead
symbols (not yet added).

llvm-svn: 48114

method. This paves the way for other alterations to RemoveDeadBindings that are
transparent to its callers.

llvm-svn: 48113

of the LHS expressions is Unknown, the value of the entire expression
does not evaluate to the RHS (as is the case with normal assignments).

llvm-svn: 48102

llvm-svn: 48091

llvm-svn: 48089

we weren't processing a statement within a basic block.

llvm-svn: 48087

llvm-svn: 48083

llvm-svn: 48082

llvm-svn: 48081

llvm-svn: 48080

Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).

llvm-svn: 48079

Rename Directives.cpp -> PPDirectives.cpp since it implements part of the
Preprocessor class.

llvm-svn: 48078

instructions.

llvm-svn: 48077

llvm-svn: 48076

MacroArgs.cpp/h

llvm-svn: 48075

llvm-svn: 48074

llvm-svn: 48073

llvm-svn: 48072

token streams and macro lexing, so a more generic name is useful.

llvm-svn: 48071

involved.

llvm-svn: 48070

llvm-svn: 48069

llvm-svn: 48068

llvm-svn: 48067

llvm-svn: 48066

llvm-svn: 48065

llvm-svn: 48053

llvm-svn: 48052

which is simpler to use and provide.

llvm-svn: 48051

different widths.  Start simplifying TargetInfo accessor methods.

llvm-svn: 48050

llvm-svn: 48049

llvm-svn: 48048

llvm-svn: 48037

that are not related to error nodes.

Fixed bug where we did not detect some NULL dereferences.

Added "ExplodedGraph::Trim" to trim all nodes that cannot transitively reach
a set of provided nodes.

Fixed subtle bug in ExplodedNodeImpl where we could create predecessor
iterators that included the mangled "sink" bit.  The better fix is to integrate
this bit into the void* for the wrapped State, not the NodeGroups representing
a node's predecessors and successors.

llvm-svn: 48036

information.

llvm-svn: 48031

llvm-svn: 48025

llvm-svn: 48018

Generate CallingConv::Fast when fastcall attribute is present

llvm-svn: 48017

divide-by-zero errors.

llvm-svn: 48013

  Added more comments for code processing attribute "format".
  Added more checks for corner cases, test cases, and warnings.

llvm-svn: 48011

llvm-svn: 47995