Print this page
12724 update smatch to 0.6.1-rc1-il-5


  35 
  36 ${bin_dir}/fill_db_type_value.pl "$PROJ" $info_file $db_file
  37 ${bin_dir}/fill_db_type_size.pl "$PROJ" $info_file $db_file
  38 ${bin_dir}/copy_required_constraints.pl "$PROJ" $info_file $db_file
  39 ${bin_dir}/build_late_index.sh $db_file
  40 
  41 ${bin_dir}/fixup_all.sh $db_file
  42 if [ "$PROJ" != "" ] ; then
  43     ${bin_dir}/fixup_${PROJ}.sh $db_file
  44 fi
  45 
  46 ${bin_dir}/copy_function_pointers.pl $db_file
  47 ${bin_dir}/remove_mixed_up_pointer_params.pl $db_file
  48 ${bin_dir}/delete_too_common_fn_ptr.sh $db_file
  49 ${bin_dir}/mark_function_ptrs_searchable.pl $db_file
  50 
  51 # delete duplicate entrees and speed things up
  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
  53 
  54 ${bin_dir}/apply_return_fixes.sh -p=${PROJ} $db_file
  55 ${bin_dir}/insert_manual_states.pl ${PROJ} $db_file


  56 
  57 mv $db_file smatch_db.sqlite


  35 
  36 ${bin_dir}/fill_db_type_value.pl "$PROJ" $info_file $db_file
  37 ${bin_dir}/fill_db_type_size.pl "$PROJ" $info_file $db_file
  38 ${bin_dir}/copy_required_constraints.pl "$PROJ" $info_file $db_file
  39 ${bin_dir}/build_late_index.sh $db_file
  40 
  41 ${bin_dir}/fixup_all.sh $db_file
  42 if [ "$PROJ" != "" ] ; then
  43     ${bin_dir}/fixup_${PROJ}.sh $db_file
  44 fi
  45 
  46 ${bin_dir}/copy_function_pointers.pl $db_file
  47 ${bin_dir}/remove_mixed_up_pointer_params.pl $db_file
  48 ${bin_dir}/delete_too_common_fn_ptr.sh $db_file
  49 ${bin_dir}/mark_function_ptrs_searchable.pl $db_file
  50 
  51 # delete duplicate entrees and speed things up
  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
  53 
  54 ${bin_dir}/apply_return_fixes.sh -p=${PROJ} $db_file
  55 if [ "$PROJ" != "" ] ; then
  56     ${bin_dir}/insert_manual_states.pl ${PROJ} $db_file
  57 fi
  58 
  59 mv $db_file smatch_db.sqlite