Small fix on ExplodedGraph.cpp for review

Hi,

The attached patch contains:

- else
- return const_cast<ExplodedNodeImpl**>(&*(getVector(getPtr()).end()));
+ else {
+ // Dereferencing end() is undefined behaviour. The vector is not empty, so
+ // we can dereference the last elem (end()-1) and then add 1 to the result.
+ return const_cast<ExplodedNodeImpl**>(&*(getVector(getPtr()).end()-1)) + 1;
+ }

MSVC's STL checks invalid dereferences (like on end()) and throws assertion error.

-Argiris

ExplodedGraph-fix.patch (673 Bytes)

Thanks! Applied!