6 ms·
C arguably doesn't actually have formal semantics, the struggles of the standard committee trying to figure out the pointer provenance being one obvious example
by Joker_vD 2y ago
C arguably doesn't actually have formal semantics, the struggles of the standard committee trying to figure out the pointer provenance being one obvious example.
- rramadass 2y agoC does have formally defined semantics as given by the standard but chose to leave some open-ended to give compiler writers more freedom in the form of a) Unspecified behaviour b) Implementation defined behaviour and c) Undefined behaviour.