]> andersk Git - splint.git/blame - test/repexpose.lh.expect
noexpand always false.
[splint.git] / test / repexpose.lh.expect
CommitLineData
885824d3 1/* Output from LCLint 2.2c+ */
2# include "bool.h"
3
4
5
6extern char **globstring;
7extern /*@only@*/ abst abst_create (/*@dependent@*/ abst /* p */, /*@only@*/ char * /* x */, int /* i */);
8extern /*@only@*/ char *abst_name (abst /* a */);
9extern int abst_val (abst /* a */);
10extern int *abst_aval (abst /* a */);
11extern /*@only@*/ abst abst_parent (/*@only@*/ abst /* a */);
12extern /*@dependent@*/ char *immut_name (immut /* im */);
13extern void abst_setIm (abst /* a */, immut /* im */);
14extern immut abst_getIm (abst /* a */);
This page took 0.880781 seconds and 5 git commands to generate.