1. Check whether the calculated table indexing address is valid
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 19 Jun 2014 19:27:33 +0000 (14:27 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 19 Jun 2014 19:27:33 +0000 (14:27 -0500)
commitee25fb2595368b9f93cf33ef73789044fba1903f
treefcc02b192c0b415fa7f4b4cad2259a0ac86abbce
parent9b623e49a19ef45bcb2a6bc9d4adfbe0a093de81
1. Check whether the calculated table indexing address is valid
2. Do not change the upper bound value in a bound fact if the operation is a subtraction (Assume the minuend can take value zero)
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectAnalyzer.C