Initial implementation of jump table index slice. Basically reusing lots of code...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 11 May 2017 15:20:42 +0000 (10:20 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 11 May 2017 15:20:42 +0000 (10:20 -0500)
commit39683879626ae6b090243af1ff730927b7b2cf4b
tree373555386ecccdaf5ad373be291a498f7e09f7a0
parentbab542b4d47e8b1d1c5b374065bda24309ba58d0
Initial implementation of jump table index slice. Basically reusing lots of code of from class JumpTablePred.
As we only track value bound for the index variable, we only need struct StridedInterval and there is no need for struct BoundValue.
14 files changed:
dataflowAPI/h/slicing.h
parseAPI/CMakeLists.txt
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactCalculator.h
parseAPI/src/BoundFactData.C
parseAPI/src/BoundFactData.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/IndirectAnalyzer.h
parseAPI/src/JumpTableFormatPred.C
parseAPI/src/JumpTableFormatPred.h
parseAPI/src/JumpTableIndexPred.C [moved from parseAPI/src/JumpTablePred.C with 79% similarity]
parseAPI/src/JumpTableIndexPred.h [moved from parseAPI/src/JumpTablePred.h with 51% similarity]