- User Since
- May 18 2022, 9:07 PM (6 w, 1 d)
Wed, Jun 29
Well, if you can find a solution to the void* <-> T** problem, that might make it tractable. Or you can introduce a flag to control whether we do this — I guess on some level -fstrict-aliasing ought to be the full language model, so this would mean introducing a -fless-strict-aliasing or something like it.
Is it helpful if we only track pointers to user defined types so that void * or char * is not in the picture?