public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/98587] New: incorrect format of VLAs and pointer to array for MEM_REF
@ 2021-01-07 18:30 msebor at gcc dot gnu.org
  2021-01-07 18:30 ` [Bug c/98587] " msebor at gcc dot gnu.org
  0 siblings, 1 reply; 2+ messages in thread
From: msebor at gcc dot gnu.org @ 2021-01-07 18:30 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98587

            Bug ID: 98587
           Summary: incorrect format of VLAs and pointer to array for
                    MEM_REF
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

Testing a fix for pr98578 reveals that MEM_REF accesses to VLAs and pointers to
arrays aren't formatted quite correctly.  The VLA format has a spurious
asterisk and the dereference of the pointer to array is not parenthesized as it
should be.

$ cat x.c && gcc -O2 -S -Wall x.c
void f (int);

void g (int n)
{
  int a[n];
  f (a[1]);
}

void h (int n)
{
  int (*p)[n] = __builtin_malloc (n);

  f ((*p)[1]);
}
x.c: In function ‘g’:
x.c:6:3: warning: ‘*a[1]’ is used uninitialized [-Wuninitialized]
    6 |   f (a[1]);
      |   ^~~~~~~~
x.c: In function ‘h’:
x.c:13:3: warning: ‘*p[1]’ is used uninitialized [-Wuninitialized]
   13 |   f ((*p)[1]);
      |   ^~~~~~~~~~~

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Bug c/98587] incorrect format of VLAs and pointer to array for MEM_REF
  2021-01-07 18:30 [Bug c/98587] New: incorrect format of VLAs and pointer to array for MEM_REF msebor at gcc dot gnu.org
@ 2021-01-07 18:30 ` msebor at gcc dot gnu.org
  0 siblings, 0 replies; 2+ messages in thread
From: msebor at gcc dot gnu.org @ 2021-01-07 18:30 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98587

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |trivial
           Keywords|                            |diagnostic

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-01-07 18:30 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-01-07 18:30 [Bug c/98587] New: incorrect format of VLAs and pointer to array for MEM_REF msebor at gcc dot gnu.org
2021-01-07 18:30 ` [Bug c/98587] " msebor at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).