Home
last modified time | relevance | path

Searched refs:data_info (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c65 struct data_info *get_dinfo(struct smatch_state *state) in get_dinfo()
69 return (struct data_info *)state->data; in get_dinfo()
291 static struct data_info *alloc_dinfo(void) in alloc_dinfo()
293 struct data_info *ret; in alloc_dinfo()
300 static struct data_info *alloc_dinfo_range(sval_t min, sval_t max) in alloc_dinfo_range()
302 struct data_info *ret; in alloc_dinfo_range()
309 static struct data_info *alloc_dinfo_range_list(struct range_list *rl) in alloc_dinfo_range_list()
311 struct data_info *ret; in alloc_dinfo_range_list()
318 static struct data_info *clone_dinfo(struct data_info *dinfo) in clone_dinfo()
320 struct data_info *ret; in clone_dinfo()
[all …]
H A Dsmatch_extra.h28 struct data_info { struct
37 DECLARE_ALLOCATOR(data_info); argument
163 struct data_info *clone_dinfo_perm(struct data_info *dinfo);
178 struct data_info *get_dinfo(struct smatch_state *state);
H A Dsmatch_ranges.c23 ALLOCATOR(data_info, "smatch extra data");
605 …_to_dinfo(struct expression *call, struct symbol *type, const char *value, struct data_info *dinfo) in str_to_dinfo()
679 struct data_info dinfo = {}; in str_to_rl()
689 struct data_info dinfo = {}; in call_results_to_rl()
H A Dsmatch_db.c343 sql_insert(data_info, "'%s', '%s', %d, '%s'", in sql_insert_data_info()
350 sql_insert(data_info, "'%s', '%s', %d, '%s'", in sql_insert_data_info_var_sym()
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dbuild_early_index.sh22 CREATE INDEX data_file_info_idx on data_info (file, data);
23 CREATE INDEX data_info_idx on data_info (data);
H A Ddata_info.schema1 CREATE TABLE data_info (file varchar(80), data varchar(80), type integer, value varchar(80));
/illumos-gate/usr/src/tools/smatch/
H A DMakefile215 SMATCH_DB_DATA += data_info.schema