llvm-svn: 47928

findRegisterUseOperandIdx, findRegisterDefOperandIndx. Fix some naming inconsistencies.

llvm-svn: 47927

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

llvm-svn: 47926

llvm-svn: 47925

llvm-svn: 47924

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

llvm-svn: 47923

llvm-svn: 47922

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

llvm-svn: 47918

class (cosmetic).  First piece of byval implementation;
this doesn't work yet.  No functional change.

llvm-svn: 47917

llvm-svn: 47916

llvm-svn: 47915

Made GRExprEngine::NodeSet a typedef of ExplodedNodeSet.

llvm-svn: 47914

llvm-svn: 47913

llvm-svn: 47912

llvm-svn: 47911

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

llvm-svn: 47910

llvm-svn: 47909

llvm-svn: 47908

Update test to use multiple return value directly, instead of relying on -sretpromotion.

llvm-svn: 47907

llvm-svn: 47906

llvm-svn: 47904

llvm-svn: 47903

llvm-svn: 47902

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

llvm-svn: 47901

llvm-svn: 47900

llvm-svn: 47899

llvm-svn: 47898

llvm-svn: 47897

new function and new call sites.

llvm-svn: 47896

llvm-svn: 47895

llvm-svn: 47894

llvm-svn: 47893

llvm-svn: 47892

TargetInfo::AddSecondaryTarget is now private, as it is only used during
object construction.

llvm-svn: 47891

llvm-svn: 47890

llvm-svn: 47889

llvm-svn: 47888