Commit a50ce24
committed
Apply workaround to iterator comparison bug
This is a workaround to a bug that gets triggered in
dependence_graph.cpp - in the function
dep_graph_domaint::control_dependencies,
find is called on cfg_dominators_templatet::target_sett, with
an iterator parameter called "from".
It is not ensured that this iterator is from the same list
as the iterators within the dominators set, this is a problem
according to C++ Draft Standard N3960:
24.2.1
An iterator j is called reachable from an iterator i if and only if there
is a finite sequence of applications of the expression ++i that makes i == j.
If j is reachable from i, they refer to elements of the same sequence.
24.2.5
The domain of == for forward iterators is that of iterators over the same
underlying sequence.1 parent c9da503 commit a50ce24
1 file changed
+13
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
183 | 183 | | |
184 | 184 | | |
185 | 185 | | |
186 | | - | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
187 | 199 | | |
188 | 200 | | |
189 | 201 | | |
| |||
0 commit comments