But you can’t compare to the concrete model, because it’s not the status quo. That ship already sailed with C89 and strict aliasing. Ptr2int casts were never legal, and support was inconsistent.
For instance, GCC sometimes tracks pointer provenance through integers; this proposed change will make that clearly illegal.
For instance, GCC sometimes tracks pointer provenance through integers; this proposed change will make that clearly illegal.