Displaying 2 results from an estimated 2 matches for "highlyalignedstruct".
2016 Jan 14
8
RFC: Enforcing pointer type alignment in Clang
...d be obvious, but I'm willing to spell it out in other
cases where necessary.
Note that this definition is *syntactic*, meaning that it is expressed
in terms of the components of a single statement. This means that an
access that might be undefined behavior if written as a single statement:
highlyAlignedStruct->charMember = 0;
may not be undefined behavior if split across two statements:
“char *member = &highlyAlignedStruct->charMember;
*member = 0;
In effect, the compiler promises to never propagate alignment assumptions
between statements through its knowledge of how a pointer was constru...
2016 Jan 15
3
[cfe-dev] RFC: Enforcing pointer type alignment in Clang
...ing to spell it out in other
> cases where necessary.
>
> Note that this definition is *syntactic*, meaning that it is expressed
> in terms of the components of a single statement. This means that an
> access that might be undefined behavior if written as a single statement:
> highlyAlignedStruct->charMember = 0;
> may not be undefined behavior if split across two statements:
> “char *member = &highlyAlignedStruct->charMember;
> *member = 0;
> In effect, the compiler promises to never propagate alignment assumptions
> between statements through its knowledge of...