11506 smatch resync

          --- old/usr/src/tools/smatch/src/smatch_scripts/build_kernel_data.sh
          +++ new/usr/src/tools/smatch/src/smatch_scripts/build_kernel_data.sh

   1    1  #!/bin/bash
   2    2  
   3    3  PROJECT=kernel
   4    4  
   5    5  function usage {
   6    6      echo
   7    7      echo "Usage:  $0"
   8    8      echo "Updates the smatch_data/ directory and builds the smatch database"
   9    9      echo
  10   10      exit 1
  11   11  }
  12   12  
  13   13  if [ "$1" = "-h" ] || [ "$1" = "--help" ] ; then
  14   14          usage;
  15   15  fi
  16   16  
  17   17  SCRIPT_DIR=$(dirname $0)
  18   18  if [ -e $SCRIPT_DIR/../smatch -a -d kernel -a -d fs ] ; then
  19   19      CMD=$SCRIPT_DIR/../smatch
  20   20      DATA_DIR=$SCRIPT_DIR/../smatch_data
  21   21  else
  22   22      echo "This script should be located in the smatch_scripts/ subdirectory of the smatch source."
  23   23      echo "It should be run from the root of a kernel source tree."
  24   24      exit 1
  25   25  fi
  26   26  
  27   27  # If someone is building the database for the first time then make sure all the

  28   28  # required packages are installed
  29   29  if [ ! -e smatch_db.sqlite ] ; then
  30   30      [ -e smatch_warns.txt ] || touch smatch_warns.txt
  31   31      if ! $DATA_DIR/db/create_db.sh -p=kernel smatch_warns.txt ; then
  32   32          echo "Hm... Not working.  Make sure you have all the sqlite3 packages"
  33   33          echo "And the sqlite3 libraries for Perl and Python"
  34   34          exit 1
  35   35      fi
  36   36  fi
  37   37  
  38      -$SCRIPT_DIR/test_kernel.sh --call-tree --info --param-mapper --spammy --data=$DATA_DIR
       38 +BUILD_STATUS=0
       39 +$SCRIPT_DIR/test_kernel.sh --call-tree --info --param-mapper --spammy --data=$DATA_DIR || BUILD_STATUS=$?
  39   40  
  40   41  for i in $SCRIPT_DIR/gen_* ; do
  41   42          $i smatch_warns.txt -p=kernel
  42   43  done
  43   44  
  44   45  mv ${PROJECT}.* $DATA_DIR
  45   46  
  46   47  $DATA_DIR/db/create_db.sh -p=kernel smatch_warns.txt
  47   48  
       49 +exit $BUILD_STATUS
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX