Change bound fact container to map from AST to BoundValue and clean slice graph,...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 25 Nov 2014 22:14:45 +0000 (16:14 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 25 Nov 2014 22:14:45 +0000 (16:14 -0600)
commit5e27e1d58d8a7f7a5e1dd5e56fba8906b8bc85a2
tree1e8ec5beaf2ed2e84f690d2cb28303c5bbdb8824
parentda018433521df0466fac2d69c77ebb1d366790cd
Change bound fact container to map from AST to BoundValue and clean slice graph, so that
1. Fix cmp that references memory a-lco
2. Fix sub instruction that sets bound
parseAPI/src/BackwardSlicing.C
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactData.C
parseAPI/src/BoundFactData.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectAnalyzer.C