type: fix crash parsing bcache code
commit7c80de6b21d97590b3012524474e355277844a8a
authorDan Carpenter <dan.carpenter@linaro.org>
Thu, 14 Sep 2023 13:27:29 +0000 (14 16:27 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Thu, 14 Sep 2023 13:27:29 +0000 (14 16:27 +0300)
tree712927f032bbf34283d3bcb54a81e42d50328441
parent52e9a45468759c3a31623bb6d7b053e5ad088514
type: fix crash parsing bcache code

Bcache has a condition that looks like:

((_p = posix_acl_alloc(count, _gfp)), 0) ?: bch2_trans_relock(trans);

Smatch wasn't able to determine the type of
"((_p = posix_acl_alloc(count, _gfp)), 0)" and crashed.  The type is int.
But also print an error message instead of crashing.

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_conditions.c
smatch_type.c