Skip to content

Commit e16882f

Browse files
authored
fix bug that undefined internal is a warning only for -pedantic-errors (#98016)
This fixes issue #39558 which mentions the problem when compiling the following code with `-pedantic-errors` flag (it also mentions `-Wall -Wextra` but those shouldn't change the output, which is also the case in GCC): ```c static void f(); int main() { f; } ``` Clang only outputs an `undefined-internal` warning on the first line, but according to 6.9/3 ``` "... Moreover, if an identifier declared with internal linkage is used in an expression (other than as a part of the operand of a sizeof or _Alignof operator whose result is an integer constant), there shall be exactly one external definition for the identifier in the translation unit." ``` this should be illegal and hence an error. I fixed this by changing the warning type from `Warning` to `ExtWarn` and by adding a suitable test.
1 parent 9ddfe62 commit e16882f

File tree

4 files changed

+43
-1
lines changed

4 files changed

+43
-1
lines changed

clang/docs/ReleaseNotes.rst

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -592,6 +592,9 @@ Attribute Changes in Clang
592592

593593
Improvements to Clang's diagnostics
594594
-----------------------------------
595+
- Clang now emits an error instead of a warning for ``-Wundefined-internal``
596+
when compiling with `-pedantic-errors` to conform to the C standard
597+
595598
- Clang now applies syntax highlighting to the code snippets it
596599
prints.
597600

clang/include/clang/Basic/DiagnosticSemaKinds.td

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6016,7 +6016,7 @@ def note_deleted_assign_field : Note<
60166016
"because field %2 is of %select{reference|const-qualified}4 type %3">;
60176017

60186018
// These should be errors.
6019-
def warn_undefined_internal : Warning<
6019+
def warn_undefined_internal : ExtWarn<
60206020
"%select{function|variable}0 %q1 has internal linkage but is not defined">,
60216021
InGroup<DiagGroup<"undefined-internal">>;
60226022
def err_undefined_internal_type : Error<
Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
// RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-pointer-arith -Wno-gnu-alignof-expression -Wno-unused -pedantic-errors
2+
3+
static void *a(void); // expected-error {{function 'a' has internal linkage but is not defined}}
4+
static void *b(void); // expected-error {{function 'b' has internal linkage but is not defined}}
5+
static void *c(void); // expected-error {{function 'c' has internal linkage but is not defined}}
6+
static void *d(void); // expected-error {{function 'd' has internal linkage but is not defined}}
7+
static void *no_err(void);
8+
9+
int main(void)
10+
{
11+
a; // expected-note {{used here}}
12+
13+
int i = _Alignof(no_err);
14+
15+
int j = _Generic(&no_err, void *(*)(void): 0);
16+
17+
void *k = _Generic(&no_err, void *(*)(void): b(), default: 0); // expected-note {{used here}}
18+
19+
// FIXME according to the C standard there should be no error if the undefined internal is
20+
// "part of the expression in a generic association that is not the result expression of its generic selection;"
21+
// but, currently, clang wrongly emits an error in this case
22+
k = _Generic(&no_err, void *(*)(void): 0, default: c()); // expected-note {{used here}}
23+
24+
k = _Generic(&no_err, int (*)(void) : 0, default : d()); // expected-note {{used here}}
25+
26+
int l = sizeof(no_err);
27+
28+
__typeof__(&no_err) x;
29+
}
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c23 -pedantic-errors
2+
3+
// expected-no-diagnostics
4+
5+
static int f(void);
6+
7+
int main(void)
8+
{
9+
typeof(&f) x;
10+
}

0 commit comments

Comments
 (0)