smatch_scripts/add_gfp_to_allocations.sh

   1 #!/bin/bash
   2
   3 if ! test -e kernel.allocation_funcs || ! test -e kernel.gfp_flags ; then
   4     echo "We need the kernel.allocation_funcs and the kernel.gfp_flags files"
   5     echo "The scripts to generate them are in smatch_data/"
   6     exit 1
   7 fi
   8
   9 echo "// Automatically generated by add_gfp_to_allocations.sh" > kernel.allocation_funcs_gfp
  10 for i in $(grep -v "//" kernel.allocation_funcs) ; do
  11     if ! grep -w $i kernel.gfp_flags ; then
  12         echo $i X
  13     fi
  14 done >> kernel.allocation_funcs_gfp
  15
  16 echo "Done.  Created kernel.allocation_funcs_gfp"