flow/math: handle __builtin_choose_expr()
commitc0e7c6a56be633bd4f9b3ccbc69a956260c8505d
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 11 Apr 2018 09:26:34 +0000 (11 12:26 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 11 Apr 2018 09:26:34 +0000 (11 12:26 +0300)
tree1964e783e385620e2058ebdae0e60874bb6d27dd
parentffa3816345c7f10ab35e3d9dccfe4b0cb9f49641
flow/math: handle __builtin_choose_expr()

The new kernel min/max() macros use __builtin_choose_expr() so this is
necessary if we don't want to say that min/max just always returns unknown
values.

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