#include <stdio.h>

int main()
{
	int i;
	for (i = 0; i < 10; i++); // The bug is this extra semicolon
		printf("Counter is now %i\n",i);
	return 0;
}
// Should (wrongfully) only print out "Counter is now 10"
// Note that GCC does not report an error. Clang reports the error.