implicit_dependencies: white space changes
[smatch.git] / validation / sm_pointer_assign.c
blobc7aabaa6af4876114a31120e681fbe014715aabb
1 #include <stdio.h>
2 #include "check_debug.h"
4 int *aaa, *bbb;
6 int main(void)
8 if (*aaa < 0 || *aaa > 34)
9 return -1;
10 bbb = aaa;
11 __smatch_implied(*bbb);
13 return 0;
17 * check-name: smatch pointer assign
18 * check-command: smatch -I.. sm_pointer_assign.c
20 * check-output-start
21 sm_pointer_assign.c:11 main() implied: *bbb = '0-34'
22 * check-output-end