smatch_data/db/build_early_index.sh

   1 #!/bin/bash
   2
   3 db_file=$1
   4
   5
   6 cat << EOF | sqlite3 $db_file
   7 PRAGMA synchronous = OFF;
   8 PRAGMA cache_size = 800000;
   9 PRAGMA journal_mode = OFF;
  10 PRAGMA count_changes = OFF;
  11 PRAGMA temp_store = MEMORY;
  12 PRAGMA locking = EXCLUSIVE;
  13
  14 CREATE INDEX caller_fn_idx on caller_info (function, call_id);
  15 CREATE INDEX caller_ff_idx on caller_info (file, function, call_id);
  16 CREATE INDEX common_fn_idx on common_caller_info (function, call_id);
  17 CREATE INDEX common_ff_idx on common_caller_info (file, function, call_id);
  18 CREATE INDEX call_implies_fn_idx on call_implies (function);
  19 CREATE INDEX call_implies_ff_idx on call_implies (file, function);
  20 CREATE INDEX data_file_info_idx on data_info (file, data);
  21 CREATE INDEX data_info_idx on data_info (data);
  22 CREATE INDEX fn_ptr_idx_file on function_ptr (file, function);
  23 CREATE INDEX fn_ptr_idx_nofile on function_ptr (function);
  24 CREATE INDEX fn_ptr_idx_ptr on function_ptr (ptr);
  25 CREATE INDEX file_function_type_idx on function_type (file, function);
  26 CREATE INDEX function_type_idx on function_type (function);
  27 CREATE INDEX function_type_size_idx ON function_type_size (type);
  28 CREATE INDEX function_type_value_idx ON function_type_value (type);
  29 CREATE INDEX local_value_idx on local_values (file, variable);
  30 CREATE INDEX return_states_fn_idx on return_states (function);
  31 CREATE INDEX return_states_ff_idx on return_states (file, function);
  32 CREATE INDEX parameter_name_file_idx on parameter_name (file, function);
  33 CREATE INDEX parameter_name_idx on parameter_name (function);
  34 CREATE INDEX str_idx on constraints (str);
  35 CREATE INDEX required_idx on constraints_required (data);
  36
  37 EOF
  38
  39 #CREATE INDEX type_size_idx on type_size (type);
  40 #CREATE INDEX type_val_idx on type_value (type);
  41