1. An indirect jump may be shared by several different jump tables. Add value set...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 21 Nov 2016 02:49:25 +0000 (20:49 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 21 Nov 2016 02:49:25 +0000 (20:49 -0600)
commitd811f19e4b94abeb7877d569e768a110ab606298
tree3473e87668c3fca5eeeee4c860ed5dd0860a4f8d
parentd43f8e46f4f9fb3c92db8e75d18c93ceb4503240
1. An indirect jump may be shared by several different jump tables. Add value set representations so that we can union jump targets from different tables.
2. Separate input absloc from absloc at the current address, as they may have different values
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactData.C
parseAPI/src/BoundFactData.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h
parseAPI/src/JumpTablePred.C