Compiler warnings in dispnew.c

Compiler warnings in dispnew.c

[Po Lu]

Building with checking, I get:

  CC       dispnew.o
In function ‘copy_row_except_pointers’,
    inlined from ‘assign_row’ at dispnew.c:1050:3,
    inlined from ‘mirror_make_current’ at dispnew.c:2761:3:
dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘current_row’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
 1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from termchar.h:23,
                 from dispnew.c:28:
dispnew.c: In function ‘mirror_make_current’:
dispextern.h:885:7: note: subobject ‘x’ declared here
  885 |   int x, y;
      |       ^
In function ‘copy_row_except_pointers’,
    inlined from ‘assign_row’ at dispnew.c:1050:3,
    inlined from ‘make_current’ at dispnew.c:2719:3:
dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘current_row’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
 1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from termchar.h:23,
                 from dispnew.c:28:
dispnew.c: In function ‘make_current’:
dispextern.h:885:7: note: subobject ‘x’ declared here
  885 |   int x, y;
      |       ^
In function ‘copy_row_except_pointers’,
    inlined from ‘assign_row’ at dispnew.c:1050:3,
    inlined from ‘scrolling_window’ at dispnew.c:4445:4,
    inlined from ‘update_window’ at dispnew.c:3651:13:
dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘c’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
 1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from termchar.h:23,
                 from dispnew.c:28:
dispnew.c: In function ‘update_window’:
dispextern.h:885:7: note: subobject ‘x’ declared here
  885 |   int x, y;
      |       ^
In function ‘copy_row_except_pointers’,
    inlined from ‘assign_row’ at dispnew.c:1050:3,
    inlined from ‘scrolling_window’ at dispnew.c:4768:6,
    inlined from ‘update_window’ at dispnew.c:3651:13:
dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘to’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
 1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from termchar.h:23,
                 from dispnew.c:28:
dispnew.c: In function ‘update_window’:
dispextern.h:885:7: note: subobject ‘x’ declared here
  885 |   int x, y;

I think it would be prudent to fix this, thanks.

Re: Compiler warnings in dispnew.c

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Date: Sun, 28 Nov 2021 17:56:30 +0800
> 
> Building with checking, I get:
> 
>   CC       dispnew.o
> In function ‘copy_row_except_pointers’,
>     inlined from ‘assign_row’ at dispnew.c:1050:3,
>     inlined from ‘mirror_make_current’ at dispnew.c:2761:3:
> dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘current_row’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
>  1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
>       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> In file included from termchar.h:23,
>                  from dispnew.c:28:
> dispnew.c: In function ‘mirror_make_current’:
> dispextern.h:885:7: note: subobject ‘x’ declared here
>   885 |   int x, y;
>       |       ^
> 
> I think it would be prudent to fix this, thanks.

Do you understand the problem?  It looks like a compiler bug to me.
We copy into the address of glyph_row->x and the size of the copy is
the size of glyph_row structure minus the offset of x from the
beginning.  So what is wrong with that? what am I missing?

When you say "building with checking", what do you mean, exactly?  Did
you use some non-default warning switches, and if so, which ones?

And what version of GCC is that?

Re: Compiler warnings in dispnew.c

[Andreas Schwab]

On Nov 28 2021, Eli Zaretskii wrote:

> Do you understand the problem?  It looks like a compiler bug to me.
> We copy into the address of glyph_row->x and the size of the copy is
> the size of glyph_row structure minus the offset of x from the
> beginning.  So what is wrong with that? what am I missing?

It is copying beyond the object that is glyph_row->x.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Compiler warnings in dispnew.c

[Po Lu]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Po Lu <luangruo@yahoo.com>
>> Date: Sun, 28 Nov 2021 17:56:30 +0800
>> 
>> Building with checking, I get:
>> 
>>   CC       dispnew.o
>> In function ‘copy_row_except_pointers’,
>>     inlined from ‘assign_row’ at dispnew.c:1050:3,
>>     inlined from ‘mirror_make_current’ at dispnew.c:2761:3:
>> dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘current_row’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]
>>  1037 |   memcpy (&to->x, &from->x, sizeof *to - off);
>>       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>> In file included from termchar.h:23,
>>                  from dispnew.c:28:
>> dispnew.c: In function ‘mirror_make_current’:
>> dispextern.h:885:7: note: subobject ‘x’ declared here
>>   885 |   int x, y;
>>       |       ^
>> 
>> I think it would be prudent to fix this, thanks.

> Do you understand the problem?  It looks like a compiler bug to me.
> We copy into the address of glyph_row->x and the size of the copy is
> the size of glyph_row structure minus the offset of x from the
> beginning.  So what is wrong with that? what am I missing?

I don't see anything wrong with it, but I think someone has to find a
way to silence the warning.

I could not find some reasonable way to do so that did not involve
#pragma GCC, which I think is not allowed in Emacs code (is that
correct?)

Thanks.

> When you say "building with checking", what do you mean, exactly?  Did
> you use some non-default warning switches, and if so, which ones?

I meant to say with '--enable-checking="yes,glyphs"'.

> And what version of GCC is that?

It's GCC 11.2.1.

Thanks.

Re: Compiler warnings in dispnew.c

[Andreas Schwab]

Does that work?

diff --git a/src/dispnew.c b/src/dispnew.c
index f3f110a8f2..a976bf94c5 100644
--- a/src/dispnew.c
+++ b/src/dispnew.c
@@ -1034,7 +1034,7 @@ copy_row_except_pointers (struct glyph_row *to, struct glyph_row *from)
 {
   enum { off = offsetof (struct glyph_row, x) };
 
-  memcpy (&to->x, &from->x, sizeof *to - off);
+  memcpy ((char *) to + off, (char *) from + off, sizeof *to - off);
 }
 

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Compiler warnings in dispnew.c

[Eli Zaretskii]

> From: Andreas Schwab <schwab@linux-m68k.org>
> Date: Sun, 28 Nov 2021 12:07:01 +0100
> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
> 
> Does that work?
> 
> diff --git a/src/dispnew.c b/src/dispnew.c
> index f3f110a8f2..a976bf94c5 100644
> --- a/src/dispnew.c
> +++ b/src/dispnew.c
> @@ -1034,7 +1034,7 @@ copy_row_except_pointers (struct glyph_row *to, struct glyph_row *from)
>  {
>    enum { off = offsetof (struct glyph_row, x) };
>  
> -  memcpy (&to->x, &from->x, sizeof *to - off);
> +  memcpy ((char *) to + off, (char *) from + off, sizeof *to - off);
>  }

Po Lu, please try this and tell if the warning goes away.

Thanks.

Re: Compiler warnings in dispnew.c

[Po Lu]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Andreas Schwab <schwab@linux-m68k.org>
>> Date: Sun, 28 Nov 2021 12:07:01 +0100
>> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
>> 
>> Does that work?
>> 
>> diff --git a/src/dispnew.c b/src/dispnew.c
>> index f3f110a8f2..a976bf94c5 100644
>> --- a/src/dispnew.c
>> +++ b/src/dispnew.c
>> @@ -1034,7 +1034,7 @@ copy_row_except_pointers (struct glyph_row *to, struct glyph_row *from)
>>  {
>>    enum { off = offsetof (struct glyph_row, x) };
>>  
>> -  memcpy (&to->x, &from->x, sizeof *to - off);
>> +  memcpy ((char *) to + off, (char *) from + off, sizeof *to - off);
>>  }
>
> Po Lu, please try this and tell if the warning goes away.
>
> Thanks.

Yes, this makes it go away.  Thanks.

Re: Compiler warnings in dispnew.c

[Stefan Monnier]

Andreas Schwab [2021-11-28 12:07:01] wrote:
> -  memcpy (&to->x, &from->x, sizeof *to - off);
> +  memcpy ((char *) to + off, (char *) from + off, sizeof *to - off);

I wonder: is the (char*) cast sufficient or is it necessary to
"obfuscate" the code by writing `to + off` instead of `&to->x`?
[ By "obfuscate" I mean here to hide from the compiler, rather than from
  humans, because I'm not sure which of the two is more clear to
  a human, here.  ]


        Stefan

Re: Compiler warnings in dispnew.c

[Andreas Schwab]

On Nov 29 2021, Stefan Monnier wrote:

> Andreas Schwab [2021-11-28 12:07:01] wrote:
>> -  memcpy (&to->x, &from->x, sizeof *to - off);
>> +  memcpy ((char *) to + off, (char *) from + off, sizeof *to - off);
>
> I wonder: is the (char*) cast sufficient or is it necessary to
> "obfuscate" the code by writing `to + off` instead of `&to->x`?

I think the point is that the address expression is not based on the
subobject.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Compiler warnings in dispnew.c

[Eli Zaretskii]

> Date: Sun, 28 Nov 2021 12:48:00 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: emacs-devel@gnu.org
> 
> > From: Po Lu <luangruo@yahoo.com>
> > Date: Sun, 28 Nov 2021 17:56:30 +0800
> > 
> > Building with checking, I get:
> > 
> >   CC       dispnew.o
> > In function ‘copy_row_except_pointers’,
> >     inlined from ‘assign_row’ at dispnew.c:1050:3,
> >     inlined from ‘mirror_make_current’ at dispnew.c:2761:3:
> > dispnew.c:1037:3: warning: ‘memcpy’ offset [48, 255] from the object at ‘current_row’ is out of the bounds of referenced subobject ‘x’ with type ‘int’ at offset 44 [-Warray-bounds]

I don't understand the data the compiler prints, specifically why it
says "offset [48, 255]" and then "at offset 44".

If you put a breakpoint at line 2761 of mirror_make_current, and when it
breaks, type

 (gdb) ptype /o current_row
 (gdb) ptype /o desired_row

what do you see in offsets of x and in the total size of the
structure?

(Note: to hit the breakpoint, you need to invoke "emacs -Q -nw", the
"-nw" part is important.)

Re: Compiler warnings in dispnew.c

[Andreas Schwab]

On Nov 28 2021, Eli Zaretskii wrote:

> I don't understand the data the compiler prints, specifically why it
> says "offset [48, 255]" and then "at offset 44".

48 is the first offset that is out of range, 44 is the offset of x (thus
44 + 4 is outside of it).

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Compiler warnings in dispnew.c

[Eli Zaretskii]

> From: Andreas Schwab <schwab@linux-m68k.org>
> Cc: luangruo@yahoo.com,  emacs-devel@gnu.org
> Date: Sun, 28 Nov 2021 12:10:15 +0100
> 
> On Nov 28 2021, Eli Zaretskii wrote:
> 
> > I don't understand the data the compiler prints, specifically why it
> > says "offset [48, 255]" and then "at offset 44".
> 
> 48 is the first offset that is out of range, 44 is the offset of x (thus
> 44 + 4 is outside of it).

Silly compiler.

Re: Compiler warnings in dispnew.c

[Andreas Schwab]

On Nov 28 2021, Eli Zaretskii wrote:

>> From: Andreas Schwab <schwab@linux-m68k.org>
>> Cc: luangruo@yahoo.com,  emacs-devel@gnu.org
>> Date: Sun, 28 Nov 2021 12:10:15 +0100
>> 
>> On Nov 28 2021, Eli Zaretskii wrote:
>> 
>> > I don't understand the data the compiler prints, specifically why it
>> > says "offset [48, 255]" and then "at offset 44".
>> 
>> 48 is the first offset that is out of range, 44 is the offset of x (thus
>> 44 + 4 is outside of it).
>
> Silly compiler.

Nope.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Compiler warnings in dispnew.c

[Po Lu]

Eli Zaretskii <eliz@gnu.org> writes:

>  (gdb) ptype /o current_row
>  (gdb) ptype /o desired_row
>
> what do you see in offsets of x and in the total size of the
> structure?

The offset of x is 44.  The total size of the size of the structure is
256.

Thanks.