You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
…tch disjointed loop headers
parseIndVar, prove and maybe more are on the assumption that the loop header
is a single block. This can be wrong, ensure we don't match theses cases we
don't know how to handle.
In the future we could update them so that they know how to handle such cases
but theses cases seems rare so I don't think the value would be really high.
We could also run a loop canonicalization pass first which could handle this.
The repro case looks weird because I massaged it so it would crash with the
Reviewed-by: Heschi Kreinick <email@example.com>
Reviewed-by: Keith Randall <firstname.lastname@example.org>
Reviewed-by: Keith Randall <email@example.com>
LUCI-TryBot-Result: Go LUCI <firstname.lastname@example.org>
(cherry picked from commit 8b4e125)
Reviewed-by: Jorropo <email@example.com>
Reviewed-by: Mauri de Souza Meneguzzo <firstname.lastname@example.org>
Reviewed-by: Dmitri Shuralyov <email@example.com>
Reviewed-by: Dmitri Shuralyov <firstname.lastname@example.org>
Auto-Submit: Dmitri Shuralyov <email@example.com>
Reviewed-by: Michael Knyszek <firstname.lastname@example.org>