/* gcc won't produce any warning. */
#include <stdio.h>
#include <stdlib.h>
int *f1(int i);
int *f1(int i) {
i = 0;
return NULL;
}
int main(void) {
int i;
void *p;
while ((p = f1(i)) != NULL) {
i++;
}
return 0;
}
LyogZ2NjIHdvbid0IHByb2R1Y2UgYW55IHdhcm5pbmcuICovCiNpbmNsdWRlIDxzdGRpby5oPgojaW5jbHVkZSA8c3RkbGliLmg+CgppbnQgKmYxKGludCBpKTsKCmludCAqZjEoaW50IGkpIHsKICAgIGkgPSAwOwogICAgcHJpbnRmKCJpOiVkXG4iLCBpKTsKICAgIHJldHVybiBOVUxMOwp9CgppbnQgbWFpbih2b2lkKSB7CiAgICBpbnQgaTsKICAgIHZvaWQgKnA7CiAgICAKICAgIHdoaWxlICgocCA9IGYxKGkpKSAhPSBOVUxMKSB7CiAgICAgICAgaSsrOwogICAgfQoKICAgIHJldHVybiAwOwp9Cg==