diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-09 21:12:05 -0500 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-09 21:12:05 -0500 |
| commit | 35199099d32443f7e6c35fe93d29442fcea6078a (patch) | |
| tree | b1286b49519977b8e9983793c8d5ab990f242789 /org.eclipse.cdt.codan.ui/plugin.xml | |
| parent | 4e991b89471d65f4f02e1ad54f2b85759ad80586 (diff) | |
| download | codan-35199099d32443f7e6c35fe93d29442fcea6078a.tar.gz codan-35199099d32443f7e6c35fe93d29442fcea6078a.tar.xz codan-35199099d32443f7e6c35fe93d29442fcea6078a.zip | |
Remove truth assignments at merge points, based on dominance in CFG.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: Change to truth assignments map.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: Likewise.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertySimulator.java: Remove truth assigments in flowMerge().
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/TruthAssignment.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java: Store IBlock corresponding to TA.
Diffstat (limited to 'org.eclipse.cdt.codan.ui/plugin.xml')
0 files changed, 0 insertions, 0 deletions