tomsik68 opened this issue 5 years ago · 1 comments
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.
B = &A