diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
commit | cbb7cc9bf6d49ba922010f77c06cbea23f8e39de (patch) | |
tree | a450efc6b3aabda1ac3ec1bf93e0c4e6c2c774c7 | |
parent | 8b55d62f4ec9739884e75feeba785014db71aca5 (diff) | |
download | bfs-cbb7cc9bf6d49ba922010f77c06cbea23f8e39de.tar.xz |
At -O3, replace command lines with no actions by -false.
-rw-r--r-- | parse.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1616,6 +1616,11 @@ struct cmdline *parse_cmdline(int argc, char *argv[]) { } } + if (cmdline->optlevel >= 3 && cmdline->expr->pure) { + free_expr(cmdline->expr); + cmdline->expr = &expr_false; + } + if (cmdline->nroots == 0) { if (!cmdline_add_root(cmdline, ".")) { goto fail; |