aboutsummaryrefslogtreecommitdiff
path: root/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
2008-03-15Handle StmtExprs whose last contained statement is not an expression.Ted Kremenek
2008-03-15Compute alignment in bytes, not bits.Ted Kremenek
2008-03-15Implement transfer function logic for alignof operator (types).Ted Kremenek
2008-03-15Added transfer function support in GRExprEngine for __extension__.Ted Kremenek
2008-03-14"panic" has 5 letters, not 4. Bug pointed out by Nuno Lopes!Ted Kremenek
2008-03-14Hack to hardwire in some panic functions that are not marked noreturn.Ted Kremenek
2008-03-14Emit warnings for undefined control-flow.Ted Kremenek
2008-03-12Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek
2008-03-12Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFSTed Kremenek
2008-03-11Expanded graph-visualization to include optional pretty-printing of checker-s...Ted Kremenek
2008-03-11Expanded graph visualization interface to include specifying a range ofTed Kremenek
2008-03-10More edge-case handling with using liveness information to prune dead state v...Ted Kremenek
2008-03-10More cleanups with using the liveness analysis to removed dead symbols andTed Kremenek
2008-03-09When processing the transfer function for a statement, evaluateTed Kremenek
2008-03-09Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into theTed Kremenek
2008-03-09Bug fix in the transfer function for compound assignments: if the valueTed Kremenek
2008-03-09Fixed crash where SetBlkExpr would attempt to query the liveness data whenTed Kremenek
2008-03-09Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek
2008-03-07Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek
2008-03-07Improved graph visualization of ExplodedGraphs to include source line and columnTed Kremenek
2008-03-07Renamed ValueManager to BasicValueFactory.Ted Kremenek
2008-03-07Refined divide-by-zero checking to distinguish between must and mayTed Kremenek
2008-03-05Added transfer function support for __builtin_expect.Ted Kremenek
2008-03-05Small bug fix when handling CallExprs that generate sink nodes.Ted Kremenek
2008-03-05Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek
2008-03-05Minor cleanups (mainly indentation).Ted Kremenek
2008-03-05remove the source location arguments to various target query methods.Chris Lattner
2008-03-05Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek
2008-03-04Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This willTed Kremenek
2008-03-04Added preliminary transfer function support for references.Ted Kremenek
2008-03-04For the transfer function for CallExpr, invalidate all argumentsTed Kremenek
2008-03-04For the transfer function of DeclStmt, for now initialize the values ofTed Kremenek
2008-03-04Add transfer function support for the default initialization of staticTed Kremenek
2008-03-04Fixed insidious state propagation bug that would sometimes cause the stateTed Kremenek
2008-03-04Enhanced pretty-printing of undefined-argument errors.Ted Kremenek
2008-03-03Added FIXME.Ted Kremenek
2008-02-29Added extra check for calls to functions where we pass undefined valuesTed Kremenek
2008-02-29Add checks for function calls via a function pointer that is NULL, Undefined,Ted Kremenek
2008-02-29"Refinement" of hack to bound loop-traversals: visit any block at a maximum o...Ted Kremenek
2008-02-28Added checking for undefined results of '<<' and '>>' (shifting by too many b...Ted Kremenek
2008-02-28Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek
2008-02-28Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek
2008-02-27End paths when calling a function marked "noreturn."Ted Kremenek
2008-02-27Small tweaks to the transfer function for DeclStmt: do not mark external globalTed Kremenek
2008-02-27Small fix to VisitLVal: this method can be called on Block-Level expressions. Ted Kremenek
2008-02-27When analyzing a function, eagerly create symbolic values for allTed Kremenek
2008-02-27Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek
2008-02-27Similar bug fix to r47650; when processing CallExprs if we did not generate anTed Kremenek
2008-02-27Fixed bug in the core transfer function logic for CallExprs where we wouldTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-08 23:02:15 +0000