diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/cmds/check.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 824131a7a..17b15caa0 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -49,6 +49,7 @@ struct CheckPass : public Pass { { int counter = 0; bool noinit = false; + bool assert_mode = false; size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) { @@ -56,6 +57,10 @@ struct CheckPass : public Pass { noinit = true; continue; } + if (args[argidx] == "-assert") { + assert_mode = true; + continue; + } break; } extra_args(args, argidx, design); @@ -137,6 +142,9 @@ struct CheckPass : public Pass { } log("found and reported %d problems.\n", counter); + + if (assert_mode) + log_error("Found %d problems in 'check -assert'.\n", counter); } } CheckPass; |