(boolean mem)
| 461 | // Compute greatest lower bound in the lattice. If values are in memory, |
| 462 | // ints and floats cannot widen. |
| 463 | public final boolean isGLB(boolean mem) { return recurClose(recurOpen()._isGLB(mem)); }; |
| 464 | boolean _isGLB(boolean mem) { |
| 465 | return switch(_type) { |
| 466 | case TBOT -> false; |
no test coverage detected