[lworld] RFR: 8293314: [lworld] C2 OSR compilation fails with assert(_gvn.type(l)->higher_equal(type)) failed: must constrain OSR typestate

[Tobias Hartmann]

We hit an assert during OSR compilation because when casting an array to its type (known from typeflow analysis) in `Parse::check_interpreter_type`, we lose the non null-free/flat property. The fix is to properly re-compute the null-free/flat properties when casting to not-exact.

Thanks,
Tobias

-------------

Commit messages:
 - 8293314: [lworld] C2 OSR compilation fails with assert(_gvn.type(l)->higher_equal(type)) failed: must constrain OSR typestate

Changes: https://git.openjdk.org/valhalla/pull/740/files
 Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=740&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8293314
  Stats: 39 lines in 2 files changed: 35 ins; 1 del; 3 mod
  Patch: https://git.openjdk.org/valhalla/pull/740.diff
  Fetch: git fetch https://git.openjdk.org/valhalla pull/740/head:pull/740

PR: https://git.openjdk.org/valhalla/pull/740