repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Don't try calling lsl when file is missing.
[splint-patched.git]
/
test
/
typequals.c
blob
06c6b64a4860e1ae413c65ad16397f5794bfcae1
1
# include
"tq.h"
2
3
void
f
(
tam xtam
,
tai xtai
,
tm xtm
,
ti xti
)
4
/*@modifies xtam, xtai, xtm, xti@*/
5
{
6
*
xtam
=
3
;
/* 4. Operand of * is abstract type (tam): *xtam */
7
*
xtai
=
4
;
/* 5. Operand of * is abstract type (tai): *xtai */
8
*
xtm
=
5
;
9
*
xti
=
8
;
10
}