Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/smatch_data/db/create_db.sh
          +++ new/usr/src/tools/smatch/src/smatch_data/db/create_db.sh
↓ open down ↓ 35 lines elided ↑ open up ↑
  36   36  ${bin_dir}/fill_db_type_value.pl "$PROJ" $info_file $db_file
  37   37  ${bin_dir}/fill_db_type_size.pl "$PROJ" $info_file $db_file
  38   38  ${bin_dir}/copy_required_constraints.pl "$PROJ" $info_file $db_file
  39   39  ${bin_dir}/build_late_index.sh $db_file
  40   40  
  41   41  ${bin_dir}/fixup_all.sh $db_file
  42   42  if [ "$PROJ" != "" ] ; then
  43   43      ${bin_dir}/fixup_${PROJ}.sh $db_file
  44   44  fi
  45   45  
       46 +${bin_dir}/copy_function_pointers.pl $db_file
  46   47  ${bin_dir}/remove_mixed_up_pointer_params.pl $db_file
  47   48  ${bin_dir}/delete_too_common_fn_ptr.sh $db_file
  48   49  ${bin_dir}/mark_function_ptrs_searchable.pl $db_file
  49   50  
  50   51  # delete duplicate entrees and speed things up
  51   52  echo "delete from function_ptr where rowid not in (select min(rowid) from function_ptr group by file, function, ptr, searchable);" | sqlite3 $db_file
  52   53  
  53   54  ${bin_dir}/apply_return_fixes.sh -p=${PROJ} $db_file
  54   55  
  55   56  mv $db_file smatch_db.sqlite
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX