8f9683e711fe58d879629eab1e0ceee79e0ae5f3
1 #include "check_debug.h"
15 * check-name: Smatch propagate return codes
16 * check-command: smatch -p=kernel -I.. sm_propagate.c
19 sm_propagate.c:11 func() info: why not propagate 'ret' from frob() instead of (-1)?