20 d
= returns_nonnull();
30 * check-name: Ternary Conditions
31 * check-command: smatch sm_select.c
34 sm_select.c +17 func(6) error: we previously assumed 'a' could be null (see line 13)
35 sm_select.c +18 func(7) error: we previously assumed 'b' could be null (see line 13)
36 sm_select.c +21 func(10) warn: variable dereferenced before check 'e' (see line 19)
37 sm_select.c +22 func(11) error: we previously assumed 'c' could be null (see line 21)
38 sm_select.c +26 func(15) error: we previously assumed 'e' could be null (see line 21)