mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-25 11:56:08 +00:00
7fe43ada28
- In Sema, when encountering Decls with function effects needing verification, add them to a vector, DeclsWithEffectsToVerify. - Update AST serialization to include DeclsWithEffectsToVerify. - In AnalysisBasedWarnings, use DeclsWithEffectsToVerify as a work queue, verifying functions with declared effects, and inferring (when permitted and necessary) whether their callees have effects. --------- Co-authored-by: Doug Wyatt <dwyatt@apple.com> Co-authored-by: Sirraide <aeternalmail@gmail.com> Co-authored-by: Erich Keane <ekeane@nvidia.com>
28 lines
939 B
C
28 lines
939 B
C
// RUN: %clang_cc1 -fsyntax-only -verify -std=c89 -Wfunction-effects -internal-isystem %S/../Headers/Inputs/include %s
|
|
|
|
// Tests for a few cases involving C functions without prototypes.
|
|
|
|
void hasproto(void) __attribute__((blocking)); // expected-note {{function does not permit inference of 'nonblocking' because it is declared 'blocking'}}
|
|
|
|
// Has no prototype, inferably safe.
|
|
void nb1() {}
|
|
|
|
// Has no prototype, noreturn.
|
|
[[noreturn]]
|
|
void aborts();
|
|
|
|
void nb2(void) __attribute__((nonblocking)) {
|
|
hasproto(); // expected-warning {{function with 'nonblocking' attribute must not call non-'nonblocking' function 'hasproto'}}
|
|
nb1();
|
|
aborts(); // no diagnostic because it's noreturn.
|
|
}
|
|
|
|
#include <setjmp.h>
|
|
|
|
void nb3(int x, int y) __attribute__((nonblocking)) {
|
|
if (x != y) {
|
|
jmp_buf jb;
|
|
longjmp(jb, 0); // expected-warning {{function with 'nonblocking' attribute must not call non-'nonblocking' function 'longjmp'}}
|
|
}
|
|
}
|