Move assertion to where it actually must hold.

When merging stack we can have a basic type on one path and the null
marker on the other path. In that case we take the basic type and
it is *not* true that the values are compatible. Only if none of
the stack values are null can is it guaranteed that they are
compatible.

R=sgjesse@google.com, zerny@google.com

Change-Id: I7232ee278102a0624323f744b047e626b480a38f
1 file changed
tree: 2947425d2d9f6133df2f22e983a78836eaa1af5d
  1. buildSrc/
  2. scripts/
  3. src/
  4. tests/
  5. third_party/
  6. tools/
  7. .gitignore
  8. AUTHORS
  9. build.gradle
  10. codereview.settings
  11. CONTRIBUTING.md
  12. copyAdditionalJctfCommonFiles.gradle
  13. LICENSE
  14. README.md
README.md

The R8 repo contains two tools.

  1. D8 is a dexer that converts java byte code to dex code.

  2. R8 is a java program shrinking and minification tool.