| 920 | } |
| 921 | |
| 922 | Pointer Pointer::setIsBasedOnArg() const { |
| 923 | unsigned idx = (unsigned)has_nocapture + (unsigned)has_noread + |
| 924 | (unsigned)has_nowrite; |
| 925 | auto attrs = getAttrs(); |
| 926 | return { m, getBid(), getOffset(), attrs | expr::mkUInt(1 << idx, attrs) }; |
| 927 | } |
| 928 | |
| 929 | Pointer Pointer::mkNullPointer(const Memory &m) { |
| 930 | assert(has_null_block); |