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