8292385: assert(ctrl == kit.control()) failed: Control flow was added…

… although the intrinsic bailed out Backport-of: 5757e2129ef23f6aa11a9a29d77ae86971b401c0
openjdk · Oct 5, 2022 · 7f4fa23 · 7f4fa23 · openjdk-notifier · Oct 5, 2022
1 parent cfc8771
commit 7f4fa23
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/hotspot/share/opto/library_call.cpp b/src/hotspot/share/opto/library_call.cpp
@@ -1551,12 +1551,19 @@ bool LibraryCallKit::inline_string_char_access(bool is_store) {
     return false;
   }
 
+  // Save state and restore on bailout
+  uint old_sp = sp();
+  SafePointNode* old_map = clone_map();
+
   value = must_be_not_null(value, true);
 
   Node* adr = array_element_address(value, index, T_CHAR);
   if (adr->is_top()) {
+    set_map(old_map);
+    set_sp(old_sp);
     return false;
   }
+  old_map->destruct(&_gvn);
   if (is_store) {
     access_store_at(value, adr, TypeAryPtr::BYTES, ch, TypeInt::CHAR, T_CHAR, IN_HEAP | MO_UNORDERED | C2_MISMATCHED);
   } else {