tree 43d914fd21abb1117dfff872c3d40af87a666a69
parent 034fce1e3945b96f473435effd7ab805d91637e8
author Aart Bik <ajcbik@google.com> 1557947629 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1557947629 +0000

[dart/vm] Fix inconsistencies in intermediate representation

Rationale:
Stricter graph checking found some dangling pointers
and missing updates. This CL fixes the omissions
and removes some bail-outs in the graph checker itself,
making the checker stricter and more consistent. Also
adds flag to control verification (avoid excessive runtimes
for large programs in general, but allows testing even
these through command line option).

https://github.com/dart-lang/sdk/issues/36893
https://github.com/dart-lang/sdk/issues/36894
https://github.com/dart-lang/sdk/issues/36895
https://github.com/dart-lang/sdk/issues/36899

Change-Id: If4357cb897484ddfdb60722525092198771ec90a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/102420
Reviewed-by: Aart Bik <ajcbik@google.com>
Commit-Queue: Aart Bik <ajcbik@google.com>