| 357 | } |
| 358 | |
| 359 | expr Byte::isPoison() const { |
| 360 | if (!does_int_mem_access) |
| 361 | return does_ptr_mem_access ? !ptrNonpoison() : true; |
| 362 | if (isAsmMode()) |
| 363 | return false; |
| 364 | |
| 365 | expr np = nonptrNonpoison(); |
| 366 | if (byte_has_ptr_bit() && bits_poison_per_byte == 1) { |
| 367 | assert(!np.isValid() || ptrNonpoison().eq(np == 1)); |
| 368 | return np != 1; |
| 369 | } |
| 370 | return expr::mkIf(isPtr(), !ptrNonpoison(), np != expr::mkInt(-1, np)); |
| 371 | } |
| 372 | |
| 373 | expr Byte::nonPoison() const { |
| 374 | if (isAsmMode()) |
no test coverage detected