1 /*
   2  * It's pretty common that the return value implies something about a parameter.
   3  * This gives you a way to tell Smatch about it.
   4  *
   5  * The format is:
   6  * function "return range" parameter "implied value range list of parameter"
   7  *
   8  * You have to specify at least two return ranges for a function.  The implied
   9  * value is a range list, but the return range is just a range and we only care
  10  * about the min and the max.  We start counting the first parameter at zero.
  11  *
  12  */
  13 
  14 rw_verify_area "0-1000000" 3 "0-1000000"
  15 rw_verify_area "-4095-(-1)" 3 "min-max"