No. It would require listing not just every place the standard states undefined behavior is the result, but also every corner case not covered by the spec, or t

No. It would require listing not just every place the standard states undefined behavior is the result, but also every corner case not covered by the spec, or that is under-specified. It’s possible to document known instances, but never to document all possible sources of undefined or unspecified behavior.