It is actually important to apply bounds produced from both branches of a conditional...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 31 Dec 2014 05:19:21 +0000 (23:19 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 31 Dec 2014 05:19:21 +0000 (23:19 -0600)
commit970256431ee917272806179c03fbd9bba02bab83
treeb401cd8d18009ceb66df98b262eb3e71c47ff2ce
parent30bae7b2ecfecf2410e59d48cd1bba88890e8374
It is actually important to apply bounds produced from both branches of a conditional jump.
If the resulting bound value of the intersection of several bound values is bottom,
I take the last one since it is represents the current path condition.
parseAPI/src/BoundFactData.C
parseAPI/src/IndirectAnalyzer.C