tree b3ed7f89eb83279580c9445317e3fd4173ae04ea
parent 768fd39317f93489bb4fb45b39db7bfcbdf5a7c7
author Christian Altamirano <coam@google.com> 1596816115 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1596816115 +0000

[dart2js] Started skeleton for a powerset abstract value domain

This is based on the wrapped version that also includes a bit integer.
Right now the methods use the old abstract value domain but will use the integer bits in later CLs.
Also added and updated a flag so that now there is one for a wrapped domain and another for a powerset domain..

Change-Id: Iab6b93584a9a644dfef92f689c4be8c42ce8076a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/157620
Commit-Queue: Christian Altamirano <coam@google.com>
Reviewed-by: Stephen Adams <sra@google.com>