Given my-app.c, each C compiler out there will pick a different UB subset and not everything that is defined as UB in the standard.
They are free to do that and still be compliant, after all UB means anything goes.
They are free to do that and still be compliant, after all UB means anything goes.
If you're using some other definition, then say so, otherwise your comments make no sense.