smatch_data/db/return_implies.schema

   1 CREATE TABLE return_implies (
   2         file big int,
   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 );