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

int frob(int *x)
{
	*x = *x * 3;
	return 0;
}

int *x;
int y;
int main(void)
{
	*x = 1;
	frob(x);
	__smatch_implied(*x);
	frob(x);
	__smatch_implied(*x);

	y = 2;
	frob(&y);
	__smatch_implied(y);
	frob(&y);
	__smatch_implied(y);

	return 0;
}


/*
 * check-name: smatch: inline #1
 * check-command: smatch -I.. sm_inline1.c
 *
 * check-output-start
sm_inline1.c:17 main() implied: *x = '3'
sm_inline1.c:19 main() implied: *x = '9'
sm_inline1.c:23 main() implied: y = '6'
sm_inline1.c:25 main() implied: y = '18'
 * check-output-end
 */