//PARAM: --disable ana.int.def_exc_widen_by_join
// NOTIMEOUT
int main(int argc , char **argv )
{
    char buf[512];
    int top;
    char *start ;

    while (1) {
        start = & buf[top];
    }
    return 0;
}
