emscripten-fastcomp-clang - emscripten clang

Age	Commit message (Collapse)	Author
2008-09-20	Add PostStore, a new ProgramPoint to distinguish between 'stores' and other ↵	Ted Kremenek
	PostStmts. GRExprEngine: Use PostStore in EvalStore. Use a second version of EvalStore in EvalBinaryOperator to associate the store with the expression on the LHS. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56383 91177308-0d34-0410-b5e6-96231b3b80d8
2008-09-16	ProgramPoint now takes the space of two pointers instead of one. This change was	Ted Kremenek
	motivated because it became clear that the number of subclasses of ProgramPoint would expand and we ran out of bits to represent a pointer variant. As a plus of this change, BlockEdge program points can now be represented explicitly without using a cache of CFGBlock* pairs in CFG. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56245 91177308-0d34-0410-b5e6-96231b3b80d8
2008-06-18	Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point ↵	Ted Kremenek
	distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52443 91177308-0d34-0410-b5e6-96231b3b80d8
2008-04-29	Major rewrite/refactoring of static analysis engine. We now use	Ted Kremenek
	EvalStore/EvalLoad to handle all loads/stores from symbolic memory, allowing us to do checks for null dereferences, etc., at any arbitrary load/store (these were missed checks before). This also resulted in some major cleanups, some conceptual, and others just in the structure of the code. This temporarily introduces a regression in the test suite (null-deref-ps.c) before I add a new LVal type for structure fields. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50443 91177308-0d34-0410-b5e6-96231b3b80d8
2008-04-26	Make assertions for all addresses passed to ProgramPoint that they have at ↵	Argyrios Kyrtzidis
	least an 8-byte alignment. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50310 91177308-0d34-0410-b5e6-96231b3b80d8
2008-03-05	Reverted patch 47926 for ProgramPoint.h because it is currently buggy. May ↵	Ted Kremenek
	add back (fixed) later. Updated CFGStmtVisitor to be in accord with rr47913: CallExprs are no longer (automatically) block-level expressions in the CFG. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47935 91177308-0d34-0410-b5e6-96231b3b80d8
2008-03-05	Added support for ProgramPoints to represent ExplodedNodes in another	Ted Kremenek
	ExplodedGraph. This allows us to build "layered" ExplodedGraphs where one simulation is layered on another. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47926 91177308-0d34-0410-b5e6-96231b3b80d8
2008-03-03	Fixed subtle caching bug in ExplodedGraph that would cause some nodes to	Ted Kremenek
	be incorrectly merged together. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47851 91177308-0d34-0410-b5e6-96231b3b80d8
2008-02-13	Added support to GREngine/GRConstants for handling computed gotos.	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47038 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-16	Fixed broken bitmasking in the ctor of ProgramPoint.	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46081 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-16	Fixed incorrect pointer mask.	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46078 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-13	Now include "CFG.h" because the inline methods of "BlockEntrance" accessor	Ted Kremenek
	the methods of CFGBlock. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45925 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-11	Renamed ProgramEdge.h to ProgramPoint.h	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45847 91177308-0d34-0410-b5e6-96231b3b80d8