staticafi/llvm2c

While inlining, treat store of A to B as read-only for A

tomsik68 opened this issue · 1 comments

While inlining, treat store of A to B as read-only for A

This would require some sort of pointer analysis, as it could be that B = &A and then it's not read-only for A. Thus, I've decided not to implement this feature.