The C Standard, 6.7.34, paragraph 6 7 [ISO/IEC 9899:20112024], states
If an attempt is made to modify an object defined with a
const-qualified type through use of an lvalue with non-const-qualified type, the behavior is undefined.
...
Bibliography
| [ISO/IEC 9899:20112024] | Subclause 6.7.34, "Type Qualifiers" |
...