diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-05-08 11:25:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-08 11:25:22 +0200 |
commit | 3870e7cf29e2f59a10257babebab6bc37bc97c01 (patch) | |
tree | f5e445d42b42d57771bff36b67fe7db21f16fe4b /passes/cmds/bugpoint.cc | |
parent | c582a25bdbd657c9d3a91cc627520fd25188fdcc (diff) | |
parent | 30c762d3a148afa9e27a93c1fa098b7c478511a4 (diff) | |
download | yosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.tar.gz yosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.tar.bz2 yosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.zip |
Merge pull request #991 from kristofferkoch/gcc9-warnings
Fix all warnings that occurred when compiling with gcc9
Diffstat (limited to 'passes/cmds/bugpoint.cc')
-rw-r--r-- | passes/cmds/bugpoint.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index 4b22f6d2d..85e2b0d56 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -298,7 +298,7 @@ struct BugpointPass : public Pass { if (!check_logfile(grep)) log_cmd_error("The provided grep string is not found in the log file!\n"); - int seed = 0, crashing_seed = seed; + int seed = 0; bool found_something = false, stage2 = false; while (true) { @@ -324,7 +324,6 @@ struct BugpointPass : public Pass { if (crashing_design != design) delete crashing_design; crashing_design = simplified; - crashing_seed = seed; found_something = true; } else |