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