tree 047115c6558839c60d20063e553fe17f49e76de5
parent 954ba3f31c38ce90ecfe1f6291244d9bcd5ca783
author Paul Berry <paulberry@google.com> 1601467434 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1601467434 +0000

Replace flow analysis's setReachable with setUnreachable.

The setReachable method took a bool indicating whether the new state
should be considered reachable or not, however outside of tests the
value that was passed in was always `false`.  Change to a
`setUnreachable` method taking no arguments.

This should make it easier to transition to a stack representation for
reachability.

Bug: https://github.com/dart-lang/sdk/issues/40009
Change-Id: I16a35ec3d5f44763a60e42f200a3caa619fac118
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/165142
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>