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 14rw_verify_area "0-1000000" 3 "0-1000000" 15rw_verify_area "-4095-(-1)" 3 "min-max" 16