diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-02-06 23:49:19 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-02-06 23:55:29 +0100 |
| commit | 129a80e282a4740f479e68c84f8982a42f26ce83 (patch) | |
| tree | eb863ea837127fca7cc6459d2de25cbd546d4482 /runtime | |
| parent | baa7bff33bc9e69bdd4f0d6621b9c06ff82e11b4 (diff) | |
| download | klee-129a80e282a4740f479e68c84f8982a42f26ce83.tar.gz | |
Fix access of iterators after they have been invalidated
Iterators get invalidated after elements of std::vector/set are deleted. Avoid this by remembering which elements need to be deleted and do it after iterating over the data structure.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions