Searched defs:smatch_state (Results 1 - 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch.h49 struct smatch_state { struct
53 #define STATE(_x) static struct smatch_state _x = { .name = #_x }
54 extern struct smatch_state undefined;
55 extern struct smatch_state ghost;
56 extern struct smatch_state merged;
57 extern struct smatch_state true_state;
58 extern struct smatch_state false_state;
59 DECLARE_ALLOCATOR(smatch_state); variable
87 struct smatch_state *state;
166 typedef struct smatch_state *(merge_func_
[all...]

Completed in 108 milliseconds