// S : tags error min c $TAGS // S : expect --result error --location-comment ERROR // S : cc -o test.bc $CC_OPT $file // S : verify $V_OPT test.bc #include int main() { int *ptrundef; int x = *ptrundef; /* ERROR */ return x; }