annotate gcc/testsuite/g++.dg/warn/nonnull1.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // Test that "nonnull" attribute works for C++.
kono
parents:
diff changeset
2 // Origin: Joseph Myers <jsm@polyomino.org.uk>
kono
parents:
diff changeset
3 // { dg-do compile }
kono
parents:
diff changeset
4 // { dg-options "-Wall" }
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 // The "nonnull" attribute is thoroughly tested for C, so here we
kono
parents:
diff changeset
7 // simply test that it works at all, as at one point the relevant
kono
parents:
diff changeset
8 // checking code was only called for C.
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 extern void f (char *) __attribute__((nonnull));
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 void
kono
parents:
diff changeset
13 g ()
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 f (0); // { dg-warning "null" "null argument" }
kono
parents:
diff changeset
16 }