1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
// RUN: %clang_cc1 -verify=c2x -std=c2x %s
// RUN: %clang_cc1 -verify=c11 -std=c11 %s
// RUN: %clang_cc1 -verify=gnu11 -std=gnu11 %s
// RUN: %clang_cc1 -verify=pedantic -pedantic -std=gnu11 -Wno-comment %s
// RUN: %clang_cc1 -verify=compat -std=c2x -Wpre-c2x-compat %s
// c2x-no-diagnostics
// Exercise the various circumstances under which we will diagnose use of
// typeof and typeof_unqual as either an extension or as a compatability
// warning. Note that GCC exposes 'typeof' as a non-conforming extension in
// standards before C23, and Clang has followed suit. Neither compiler exposes
// 'typeof_unqual' as a non-conforming extension.
// Show what happens with the underscored version of the keywords, which are
// conforming extensions.
__typeof__(int) i = 12;
__typeof(int) _i = 12;
__typeof_unqual__(int) u = 12;
__typeof_unqual(int) _u = 12;
// Show what happens with a regular 'typeof' use.
typeof(i) j = 12; // c11-error {{expected function body after function declarator}} \
pedantic-warning {{extension used}} \
compat-warning {{'typeof' is incompatible with C standards before C23}}
// Same for 'typeof_unqual'.
typeof_unqual(j) k = 12; // c11-error {{expected function body after function declarator}} \
gnu11-error {{expected function body after function declarator}} \
pedantic-error {{expected function body after function declarator}} \
compat-warning {{'typeof_unqual' is incompatible with C standards before C23}}
|
