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
comparison: if "a < b" and "b < c" then "a < c"
[smatch.git]
/
validation
/
backend
/
function-ptr.c
blob
fc022b3cd9cfc1ee1bb4e3c1093d883d9ce427a9
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
*/