unreachable: ignore some conditionally unreachable code
commitef9ad7633ceb116dc4c5ad4743e92a5e4fd8ba20
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 13:38:06 +0000 (25 16:38 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 13:38:06 +0000 (25 16:38 +0300)
tree845680a315d4693a22f78552c4be5ace7dd86d59
parent20aed376ef0ac47dfc7e0eeee18ec69d9ac70937
unreachable: ignore some conditionally unreachable code

We do stuff like:

if (!IS_ENABLED(...))
return;

and:
if (BITS_PER_BYTE == 64)
return;

Smatch knows that the rest of the function is unreachable but it shouldn't
print an unreachable code warning.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_unreachable.c