Code reviews and luck of requirements

Code reviews with absence of requirements can not provide quality of software themself.

consider example of change:

main()
{
...
--- return ret;
+++ return 0;
}

If this code is ok?

It depends only from requirements.

The code is ok, if the code satisfied requirements, and not ok, if not.

Syntactic correctness actually tells nothing.