Lowering of LLVM arithmetic operations does not deal with over/underflows
Jezurko opened this issue · comments
These operations might flow into a completely different pointer and we should not use copy
in that case.
Experimental MLIR based points-to analysis tool
Jezurko opened this issue · comments
These operations might flow into a completely different pointer and we should not use copy
in that case.