Re: [C] Warn on type punning that toggles scalar storage order

[Eric Botcazou]

> OK

Thanks.  I have also installed the attached tweak to the documentation.


        PR c/100653
        * doc/extend.texi (scalar_storage_order): Rephrase slightly.

-- 
Eric Botcazou
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 3ddeb0dee3a..bfe9c21bddf 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -8586,8 +8586,9 @@ The second case is nevertheless allowed to be able to perform a block copy
 from or to the array.
 
 Moreover, the use of type punning or aliasing to toggle the storage order
-is not supported; that is to say, a given scalar object cannot be accessed
-through distinct types that assign a different storage order to it.
+is not supported; that is to say, if a given scalar object can be accessed
+through distinct types that assign a different storage order to it, then the
+behavior is undefined.
 
 @item transparent_union
 @cindex @code{transparent_union} type attribute