576161cb60
Unlike C++, C allows the definition of an uninitialized `const` object. If the object has static or thread storage duration, it is still zero-initialized, otherwise, the object is left uninitialized. In either case, the code is not compatible with C++. This adds a new diagnostic group, `-Wdefault-const-init-unsafe`, which is on by default and diagnoses any definition of a `const` object which remains uninitialized. It also adds another new diagnostic group, `-Wdefault-const-init` (which also enabled the `unsafe` variant) that diagnoses any definition of a `const` object (including ones which are zero-initialized). This diagnostic is off by default. Finally, it adds `-Wdefault-const-init` to `-Wc++-compat`. GCC diagnoses these situations under this flag. Fixes #19297
65 lines
1.7 KiB
C
65 lines
1.7 KiB
C
// RUN: %clang_cc1 -fsyntax-only -Wused-but-marked-unused -Wunused-function -Wunneeded-internal-declaration -verify %s
|
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wunused %s
|
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wall -Wno-infinite-recursion %s
|
|
|
|
void foo(void) {}
|
|
static void f2(void) {}
|
|
static void f1(void) {f2();} // expected-warning{{unused}}
|
|
|
|
static int f0(void) { return 17; } // expected-warning{{not needed and will not be emitted}}
|
|
int x = sizeof(f0());
|
|
|
|
static void f3(void);
|
|
extern void f3(void) { } // expected-warning{{unused}}
|
|
|
|
inline static void f4(void);
|
|
void f4(void) { } // expected-warning{{unused}}
|
|
|
|
static void __attribute__((used)) f5(void) {}
|
|
static void f6(void);
|
|
static void __attribute__((used)) f6(void);
|
|
static void f6(void) {};
|
|
|
|
static void f7(void);
|
|
void f8(void(*a0)(void));
|
|
void f9(void) { f8(f7); }
|
|
static void f7(void) {}
|
|
|
|
__attribute__((unused)) static void bar(void);
|
|
void bar(void) { }
|
|
|
|
__attribute__((constructor)) static void bar2(void);
|
|
void bar2(void) { }
|
|
|
|
__attribute__((destructor)) static void bar3(void);
|
|
void bar3(void) { }
|
|
|
|
static void f10(void); // expected-warning{{unused}}
|
|
static void f10(void);
|
|
|
|
static void f11(void);
|
|
static void f11(void) { } // expected-warning{{unused}}
|
|
|
|
static void f12(void) { } // expected-warning{{unused}}
|
|
static void f12(void);
|
|
|
|
// PR7923
|
|
static void unused(void) { unused(); } // expected-warning{{not needed and will not be emitted}}
|
|
|
|
static void cleanupMalloc(char * const * const allocation) { }
|
|
void f13(void) {
|
|
char * const __attribute__((cleanup(cleanupMalloc))) a = 0;
|
|
(void)a;
|
|
}
|
|
|
|
extern void a(void) __attribute__((unused));
|
|
extern void b(void) __attribute__((unused));
|
|
|
|
void b(void)
|
|
{
|
|
}
|
|
void a(void)
|
|
{
|
|
b();
|
|
}
|