This is the mail archive of the
mailing list for the GCC project.
Undefined behavior due to 22.214.171.124p3
- From: Robbert Krebbers <mailinglists at robbertkrebbers dot nl>
- To: gcc at gcc dot gnu dot org
- Date: Mon, 09 Mar 2015 20:26:06 +0100
- Subject: Undefined behavior due to 126.96.36.199p3
- Authentication-results: sourceware.org; auth=none
I was wondering whether GCC uses 188.8.131.52p3 of the C11 standard as a
license to perform certain optimizations. If so, could anyone provide me
an example program.
In particular, I am interested about the "then the overlap shall be
exact" part of 184.108.40.206p3:
If the value being stored in an object is read from another
object that overlaps in any way the storage of the first
object, then the overlap shall be exact and the two objects
shall have qualified or unqualified versions of a compatible
type; otherwise, the behavior is undefined.