#2 Possible iterator out-of-bounds issue

closed-fixed
nobody
None
5
2009-07-25
2008-12-04
Anonymous
No

BitBlast.cpp
Line 142
Looks like copy/paste error in which bb_it is incremented needlessly, potentially leading to an iterator out-of-bounds condition.

Discussion

  • Trevor Hansen
    Trevor Hansen
    2009-01-06

    Thanks for letting us know. This has been fixed in revision 51

     
  • Trevor Hansen
    Trevor Hansen
    2009-07-25

    • status: open --> closed-fixed