repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git]
/
validation
/
function-redecl-funattr.c
blob
b1e2fb195b52d9fe79778dc95a2a1074be16423c
1
#define __pure __attribute__((pure))
2
#define __noreturn __attribute__((noreturn))
3
4
5
int
__pure
p
(
int
i
);
6
int
p
(
int
i
) {
return
i
; }
7
8
void
__noreturn
n
(
void
);
9
void
n
(
void
) {
while
(
1
) ; }
10
11
/*
12
* check-name: function-redecl-funattr
13
*/