[cfe-dev] scan-build constraints

[Paulo Matos via cfe-dev]

Hi,

scan-build is generating null pointer dereference complaints because it
does not understand that there's a relation between the arguments to a
function.

The function looks like:
void *array_func(void **arr, int arrl) ...

where arrl is equal to the number of elements in array l so any access
to arr[0] - arr[arrl-1] is fine. Is there a way to specify to scan-build
these relationships?

Thanks,

-- 
Paulo Matos