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

Reported by Zhongxing Xu!

llvm-svn: 47991

llvm-svn: 47986

llvm-svn: 47982

llvm-svn: 47979

llvm-svn: 47971

llvm-svn: 47970

llvm-svn: 47967

llvm-svn: 47964

llvm-svn: 47958

ExplodedNode that would occasionally result in heap corruption.

llvm-svn: 47956

llvm-svn: 47955

llvm-svn: 47954

llvm-svn: 47953

llvm-svn: 47952

llvm-svn: 47951

Updated CFGStmtVisitor to be in accord with rr47913: CallExprs are no longer (automatically) block-level expressions in the CFG.

llvm-svn: 47935

theoretically useful, but not useful in practice.  It adds a bunch of 
complexity, and not much value.  It's best to nuke it.  One big advantage
is that it means the target interfaces will soon lose their SLoc arguments
and target queries can never emit diagnostics anymore (yay).  Removing this
also simplifies some of the core preprocessor which should make it slightly
faster.

Ted, I didn't simplify TripleProcessor, which can now have at most one
triple, and can probably just be removed.  Please poke at it when you have
time.

llvm-svn: 47930

ExplodedGraph. This allows us to build "layered" ExplodedGraphs where one
simulation is layered on another.

llvm-svn: 47926

llvm-svn: 47925

GRStmtNodeBuilder and is now responsible for adding its own nodes to the graph.

llvm-svn: 47923

This is conceptually much cleaner, as it shows that the state is always a pointer.
It also makes it easier to marshall these values around across the internal APIs
of the path-sensitive engine.

llvm-svn: 47921

of the entire checker.

llvm-svn: 47920

allow us to pass the builder to plug-in transfer functions and allow those
functions to create intermediate nodes.

llvm-svn: 47919

Made GRExprEngine::NodeSet a typedef of ExplodedNodeSet.

llvm-svn: 47914

llvm-svn: 47913

llvm-svn: 47912

passed-by-reference to builtin functions until we have better builtin support.

llvm-svn: 47910

llvm-svn: 47902

structs (local variables) to Unknown instead of Undefined.  (added FIXME to initialize *members* of struct to undefined)

llvm-svn: 47901