emscripten-fastcomp-clang - emscripten clang

Age	Commit message (Collapse)	Author
2008-01-09	Removed some files related to the path-sensitive solver as part of some	Ted Kremenek
	code restructuring. (new files will be introduced shortly) git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45785 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-08	Relocated comment in header.	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45728 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-07	Renamed SimulVertex, SimulGraph, and SimulEngine to:	Ted Kremenek
	ExplodedNode, ExplodedGraph (to match the vocabulary in the RHS paper) ReachabilityEngine The implementation of the core of the path-sensitive dataflow solver has been de-templatized and places in ReachabilityEngine.cpp. The solver is still incomplete. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45711 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-03	renamed class "GRCP" (Graph Reachabilty Constant Propagation) to	Ted Kremenek
	"GREngine" (Graph Reachability Engine). The idea is to provide a separation of concerns between the constant prop. details and the core analysis engine. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45555 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-03	Implemented End-Of-Path processing.	Ted Kremenek
	git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45554 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-03	Initial checking of GRConstantPropagation.cpp, which implements a constant	Ted Kremenek
	propagation analysis via graph reachability. This analysis (which is incomplete) will be the basis for later developments on the core engine for path-sensitive analysis analysis. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45552 91177308-0d34-0410-b5e6-96231b3b80d8