The following cases are currently known to be able to generate pointers with symbolic values and are expected to be supported: - [ ] `Offset` binary operator with a symbolic offset or base. - [ ] `AddrOf` operator over a symbolic place. - [ ] `AggregateRawPtr` with symbolic data or metadata (like a symbolic length of a slice pointer) - [ ] Transmutation or casting to a pointer type.
The following cases are currently known to be able to generate pointers with symbolic values and are expected to be supported:
Offsetbinary operator with a symbolic offset or base.AddrOfoperator over a symbolic place.AggregateRawPtrwith symbolic data or metadata (like a symbolic length of a slice pointer)