*** 175,180 **** --- 175,181 ---- manager()->note_release(which()); break; } } } + NOT_PRODUCT(ShouldNotReachHere()); // should never terminate }