compiler verifier must not be run on uncompilable sources