math: fix up some thinkos in the _get_rl() transition
[smatch.git] / validation / sm_casts3.c
blobfa42bb14b533c04a8874e4197bfc02b79f4074b2
1 #include "check_debug.h"
3 unsigned int a;
4 int b;
5 int func(void)
7 b = a;
8 __smatch_implied(a);
9 __smatch_implied(b);
13 * check-name: smatch: casts #3
14 * check-command: smatch -I.. sm_casts3.c
16 * check-output-start
17 sm_casts3.c:8 func() implied: a = ''
18 sm_casts3.c:9 func() implied: b = 's32min-s32max'
19 * check-output-end