repo.or.cz
/
unleashed.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
10063 basic support for smatch
[unleashed.git]
/
usr
/
src
/
tools
/
smatch
/
src
/
validation
/
backend
/
function-ptr.c
blob
35fb678af08eef280871426acedbe768693a892d
1
typedef
int
(*
fn_t
)(
int
x
,
int
y
);
2
3
static int
run
(
fn_t fn
,
int
x
,
int
y
)
4
{
5
return
fn
(
x
,
y
);
6
}
7
8
/*
9
* check-name: Function pointer code generation
10
* check-command: sparsec -c $file -o tmp.o
11
*/