#include "check_debug.h"

char *some_func(void);

int x,y;
int i;
void func(void)
{
        char *p;
        char *p2;

        if (x > 0)
                p = some_func();
        for (i = 0; i < x; i++)
                *p = 'x';
        *p = 'x';
        if (y > 0)
                p2 = some_func();
        i = 0;
        if (i < y)
                *p2 = 'x';
}
/*
 * check-name: smatch loops #4
 * check-command: smatch -I.. sm_loops4.c
 *
 * check-output-start
sm_loops4.c:16 func() error: potentially dereferencing uninitialized 'p'.
 * check-output-end
 */