#include <stdio.h>
#include "check_debug.h"

int *aaa, *bbb;

int main(void)
{
        if (*aaa < 0 || *aaa > 34)
                return -1;
        bbb = aaa;
        __smatch_implied(*bbb);

        return 0;
}

/*
 * check-name: smatch pointer assign
 * check-command: smatch -I.. sm_pointer_assign.c
 *
 * check-output-start
sm_pointer_assign.c:11 main() implied: *bbb = '0-34'
 * check-output-end
 */