testcase for PR c/36299

testcase for PR c/36299

[Vincent Lefevre]

[-- Attachment #1: Type: text/plain, Size: 462 bytes --]

As asked in PR c/36299[*], here's a testcase for this PR. It checks
the absence of warning for some valid C code, to make sure the warning
no longer reappears in future GCC versions.

[*] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36299#c10

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)

[-- Attachment #2: Waddress.c --]
[-- Type: text/plain, Size: 123 bytes --]

/* PR c/36299 */
/* { dg-do compile } */
/* { dg-options "-Waddress" } */

int
foo(void)
{
  char a[1];
  return a == 0;
}

Re: testcase for PR c/36299

[Joseph S. Myers]

On Fri, 11 Mar 2011, Vincent Lefevre wrote:

> As asked in PR c/36299[*], here's a testcase for this PR. It checks
> the absence of warning for some valid C code, to make sure the warning
> no longer reappears in future GCC versions.
> 
> [*] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36299#c10

I'm not convinced either way about what the desired semantics should be 
about whether there is a warning, but I've committed the testcase so at 
least any future change is deliberate rather than accidental.

-- 
Joseph S. Myers
joseph@codesourcery.com