Question

Consider this code:

int main()
{
        int e;
        prn(e);
        return 0;
}

void prn(double x,int t)
{
}

Why does this code gives following warnings and no errors?

m.c:9: warning: conflicting types for ‘prn’  
m.c:5: note: previous implicit declaration of ‘prn’ was here

Shouldn’t it give a “undefined function” error?

Answer 1

In C99 it should give an undeclared function error.

In C89/90 declaring functions is not mandatory. If an undeclared function is called, the compiler will assume that it returns int and it will pass arguments to it after subjecting them to so called default argument promotions. In other words, the compiler will try to deduce what that function is from the actual call. If later the function is defined differently from what the compiler deduced, the behavior is undefined. Normally compilers will complain about it with a warning.

This is what you observe in your case. When the compiler sees the prn(e) call it assumes that prn is int prn(int) function. But later it discovers that it is actually a void prn(double, int). The mismatch is causing the warning.

In this case you are lucky in a sense that the call to undeclared function takes place in the same translation unit where the function is defined. So the compiler has a chance to compare the call and the definition and issue a warning about the conflict. If prn was defined in some other translation unit, the compiler would never have a chance to compare the two, so you’d have a full-fledged undefined behavior on your hands.