annotate gcc/testsuite/c-c++-common/Wvarargs.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 #include <stdarg.h>
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 void
kono
parents:
diff changeset
6 err (int a)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 va_list vp;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
9 va_start (vp, a); // { dg-error "used in function with fixed arguments" }
111
kono
parents:
diff changeset
10 }
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 #pragma GCC diagnostic push
kono
parents:
diff changeset
13 #pragma GCC diagnostic ignored "-Wvarargs"
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 void
kono
parents:
diff changeset
16 foo0 (int a, int b, ...)
kono
parents:
diff changeset
17 {
kono
parents:
diff changeset
18 va_list vp;
kono
parents:
diff changeset
19 /* 'a' is not the last argument of the enclosing function, but
kono
parents:
diff changeset
20 don't warn because we are ignoring -Wvarargs. */
kono
parents:
diff changeset
21 va_start (vp, a);
kono
parents:
diff changeset
22 va_end (vp);
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 void
kono
parents:
diff changeset
26 foo1 (int a, register int b, ...) // { dg-warning "ISO C\\+\\+17 does not allow 'register' storage class specifier" "" { target c++17 } }
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 va_list vp;
kono
parents:
diff changeset
29 /* 'b' is declared with register storage, but don't warn
kono
parents:
diff changeset
30 because we are ignoring -Wvarargs. */
kono
parents:
diff changeset
31 va_start (vp, b);
kono
parents:
diff changeset
32 va_end (vp);
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 #pragma GCC diagnostic pop
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 void
kono
parents:
diff changeset
38 foo2 (int a, int b, ...)
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 va_list vp;
kono
parents:
diff changeset
41 /* 'a' is not the last argument of the enclosing function, so
kono
parents:
diff changeset
42 warn. */
kono
parents:
diff changeset
43 va_start (vp, a); /* { dg-warning "second parameter" } */
kono
parents:
diff changeset
44 va_end (vp);
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 void
kono
parents:
diff changeset
48 foo3 (int a, register int b, ...) // { dg-warning "ISO C\\+\\+17 does not allow 'register' storage class specifier" "" { target c++17 } }
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 va_list vp;
kono
parents:
diff changeset
51 /* 'b' is declared with register storage, so warn. */
kono
parents:
diff changeset
52 va_start (vp, b); /* { dg-warning "undefined behavior" } */
kono
parents:
diff changeset
53 va_end (vp);
kono
parents:
diff changeset
54 }