xref: /illumos-gate/usr/src/tools/smatch/src/smatch_data/db/return_implies.schema (revision 1f5207b7604fb44407eb4342aff613f7c4508508)
1CREATE TABLE return_implies (
2	file varchar(128),
3	function varchar(64),
4	call_id integer,
5	static boolean,
6	type integer,
7	parameter integer,
8	key varchar(256),
9	value varchar(256),
10
11	CONSTRAINT implies_row UNIQUE (file, function, call_id, static, type, parameter, key, value)
12);
13