diff --git a/src/V3Error.cpp b/src/V3Error.cpp index 8fe7ed9ad..8e6bd914c 100644 --- a/src/V3Error.cpp +++ b/src/V3Error.cpp @@ -261,6 +261,7 @@ void V3Error::abortIfWarnings() { bool V3Error::isError(V3ErrorCode code) { if (code==V3ErrorCode::SUPPRESS) return false; + else if (code==V3ErrorCode::INFO) return false; else if (code==V3ErrorCode::FATAL) return true; else if (code==V3ErrorCode::ERROR) return true; else if (codedumpTreeFile(v3Global.debugFilename("gate.tree")); // V3Gate calls constant propagation itself. + } else { + v3info("Command Line disabled gate optimization with -Og/-O0. This may cause ordering problems."); } // Remove unused vars