Re: [head tinderbox] failure on arm/arm

From: Ruslan Ermilov <ru_at_freebsd.org>
Date: Sun, 12 Nov 2006 18:57:23 +0300
On Sun, Nov 12, 2006 at 04:11:51PM +0100, Giorgos Keramidas wrote:
> On 2006-11-12 17:51, Ruslan Ermilov <ru_at_FreeBSD.org> wrote:
> > On Sun, Nov 12, 2006 at 03:42:30PM +0100, Giorgos Keramidas wrote:
> > > On 2006-11-12 17:00, Ruslan Ermilov <ru_at_freebsd.org> wrote:
> > > > %%%
> > > > $ cat a.c
> > > > struct foo {
> > > > 	char x;
> > > > };
> > > >
> > > > struct foo *
> > > > bubu(char *s)
> > > > {
> > > >
> > > > 	return (struct foo *)s;
> > > > }
> > > > $ cc -c -Wcast-align a.c
> > > > a.c: In function `bubu':
> > > > a.c:9: warning: cast increases required alignment of target type
> > > > %%%
> > > >
> > > > (None of other supported architecutes see the issue here.)
> > > 
> > > You can't cast any random (char *) pointer to a pointer of a type which
> > > is (potentially) larger than 1 byte.  It's the same sort of warning you
> > > will get if you try to:
> > > 
> > >     char ch[] = "\x00\x00\x00\x00";
> > >     char *p = &(ch[0]);
> > >     unsigned long *lptr = (unsigned long *)p;
> > > 
> > > You cannot guarantee that `ch' is stored in an address that is properly
> > > aligned for (unsigned long), and this is what GCC warns about here.
> > 
> > No, your example I perfectly understand but it is completely different.
> > Note that the first (and only) member in my structure is "char", so it
> > doesn't need to be more than sizeof(char) aligned.
> 
> Ah, but the tricky part is that inside bubu() there is no knowledge that
> `s' may be properly aligned for a (struct foo *) pointer.  All the
> compiler knows is that it is a (char *), possibly misaligned for any
> pointer whose object has a size > 1.
> 
I don't think you're right.  If I don't declare a structure so that the
compiler REALLY doesn't know the alignment requirement, it doesn't even
complain (this is on ARM):

: $ diff -u20 a.c b.c
: --- a.c Sun Nov 12 18:19:34 2006
: +++ b.c Sun Nov 12 18:19:22 2006
: _at__at_ -1,10 +1,12 _at__at_
:  #include <stdio.h>
:  
: -struct foo;
: +struct foo {
: +       char x;
: +};
:  
:  struct foo *
:  bubu(char *s)
:  {
:  
:         return (struct foo *)s;
:  }
: $ cc -c -Wcast-align a.c
: $ cc -c -Wcast-align b.c
: b.c: In function `bubu':
: b.c:11: warning: cast increases required alignment of target type

> > > On 2006-11-12 15:27, Stefan Farfeleder <stefan_at_fafoe.narf.at> wrote:
> > > > What is sizeof(struct foo)?  If it's > 1 it makes sense.
> > > 
> > > Exactly :)
> > 
> > Still doesn't make much sense to me.  If all structure members are chars
> > (like is the case with "struct ar_hdr" from <ar.h> which GCC complains
> > about, and in my example, the required alignment shouldn't be more than
> > sizeof(char).  What am I missing?
> 
> You are missing that inside bubu() the compiler 'believes' that:
> 
>     * The `s' pointer is (char *)-aligned.
> 
>     * The sizeof(struct foo) is >1.
> 
>     * You are trying to assign `s' (with it's possibly misaligned
>       value) to the `return value' place, whose type is (at
>       least, as far as the compiler knows) is (struct foo *).
> 
I will assume that under a "misaligned value" you mean a data that
the `s' pointer points to.  Assigning a pointer to pointer isn't
a problem per se, there are no alignment issues here; dereferencing
an assigned pointer later might be a problem if it points to an
object with more strict alignment requirement.  This is all clear
and fine, I understand how all this works.  :-)  What I don't
seem to understand (and you didn't tell me) is why the alignment
requirement for "struct foo" is >1.  From the above it looks like
you're thinking that __alignof__(x) >= sizeof(x).  Fortunately,
not all that bad, and compiling the following snippet on sparc64:

: #include <stdio.h>
: 
: struct foo1 {
:         char foo[4];
: };
: 
: struct foo2 {
:         int foo;
: };
: 
: int
: main(char *s)
: {
:         struct foo1 *foo1 = (struct foo1 *)s;
:         struct foo2 *foo2 = (struct foo2 *)s;
:         printf("%jd %jd\n", __alignof__(*foo1), __alignof__(*foo2));
: }

Only complains about the second assignment:

: a.c: In function `main':
: a.c:15: warning: cast increases required alignment of target type

Running it outputs: "1 4".  Similarly for "struct ar_hdr", whose all
members are character arrays, also has the alignment requirement of
1 byte (verified on sparc64).

So your sizeof() argument, well...  I don't understand it and it
doesn't make things clearer at least to me.  I still believe this
is bug in GCC that the alignment requirement is so high for a
"struct foo { char x; }" (there's no real reason for this!).


Cheers,
-- 
Ruslan Ermilov
ru_at_FreeBSD.org
FreeBSD committer

Received on Sun Nov 12 2006 - 14:57:55 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:39:02 UTC