mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-12 21:36:06 +00:00
Code Issues Projects Releases Wiki Activity
36,160 Commits 1,258 Branches 288 Tags
Commit Graph

9 Commits

Author SHA1 Message Date
Ted Kremenek
1147e36fe0 Migrated LiveVariables to use the new DataflowStmtVisitor interface. The code 
is much simpler now.

llvm-svn: 41885
 2007-09-12 19:10:52 +00:00
Gabor Greif
412af03cee get rid of ugly "warning: no newline at end of file" 
warnings that some compilers diagnose

llvm-svn: 41847
 2007-09-11 15:32:40 +00:00
Ted Kremenek
bd9cc5ca89 Fixed LiveVariables to no longer track the liveness of function pointers 
that refer to direct function calls.

Modified interface of LiveVariables to only track liveness of VarDecls.
This cleans up a bunch of edge cases, and removed the bug just mentioned.

llvm-svn: 41797
 2007-09-10 17:36:42 +00:00
Ted Kremenek
cfe207c112 Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and 
"Audit" to "Observer" and "Observe"

llvm-svn: 41794
 2007-09-10 15:56:38 +00:00
Ted Kremenek
3ce57c6baf Added more checking in "dead stores" for values that are initialized 
but never used.

Fix a bug in LiveVariables where uses on the LHS of self-assign
operators (e.g +=, *=, etc) would not be properly recorded in the
liveness state of the variable.

llvm-svn: 41757
 2007-09-06 23:39:53 +00:00
Ted Kremenek
10e7870746 Minor bug fixes to corner cases where LiveVariables would crash on some CFGs 
that contained no declarations, or when a variable is declared but never used.

llvm-svn: 41756
 2007-09-06 23:25:10 +00:00
Ted Kremenek
6dc7b11d32 Added "Dead Stores", a flow-sensitive checker that checks for stores 
to variables that are no longer live.  This analysis is built on top
of CFGs and the LiveVariables analysis.

changes to driver:
 added driver option "-check-dead-stores" to run the analysis

llvm-svn: 41754
 2007-09-06 23:00:42 +00:00
Ted Kremenek
3f8ed2653c LiveVariables: 
- Finished 99% of analysis logic.  Probably a few bugs.
 - Added querying functions to query liveness.
 - Added better pretty printing of liveness.
 - Added better bookkeeping of per-variable liveness information.
 - Added LiveVariablesAuditor interface, which allows "lazy" querying
   of intra-basic block liveness information.

Driver:
 - Minor cleanups involved in dumping liveness information.

llvm-svn: 41753
 2007-09-06 21:26:58 +00:00
Ted Kremenek
b56a990955 Added an early implementation of Live-Variables analysis built on 
source-level CFGs.  This code may change significantly in the near
future as we explore different means to implement dataflow analyses.

Added a driver option, -dump-live-variables, to view the output of
live variable analysis.  This output is very ALPHA; it will be improved shortly.

llvm-svn: 41737
 2007-09-06 00:17:54 +00:00