Definition of "constant expression"

[misra-c]

In this instance “satisfy the semantics” refers to code that that does not exhibit the undefined behaviour listed in section 6.6 of the C99 standard. In other words such code should treat the “shall” restrictions in section 6.6 as if they were constraints, regardless as to the behaviour of a particular implementation.