diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2023-01-23 16:24:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-23 16:24:22 +0100 |
| commit | 245884a1011fe45b00bbb9cacd0111eb014adadf (patch) | |
| tree | d1bcd1f90dc656bef8409bd5f7a677c8d4e4aa35 /frontends/verific/verificsva.cc | |
| parent | 9bc9121b9efeeb490ca593f75354457a4e420653 (diff) | |
| parent | 6574553189fb6ccb5d00a0c043671a625672b3d3 (diff) | |
| download | yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.tar.gz yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.tar.bz2 yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.zip | |
Merge pull request #3629 from YosysHQ/micko/clang_fixes
Fixes for some of clang scan-build detected issues
Diffstat (limited to 'frontends/verific/verificsva.cc')
| -rw-r--r-- | frontends/verific/verificsva.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 12bac2a3d..986a98643 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1777,7 +1777,7 @@ struct VerificSvaImporter if (mode_assert) c = module->addLive(root_name, sig_a_q, sig_en_q); if (mode_assume) c = module->addFair(root_name, sig_a_q, sig_en_q); - importer->import_attributes(c->attributes, root); + if (c) importer->import_attributes(c->attributes, root); return; } @@ -1822,7 +1822,7 @@ struct VerificSvaImporter if (mode_assume) c = module->addAssume(root_name, sig_a_q, sig_en_q); if (mode_cover) c = module->addCover(root_name, sig_a_q, sig_en_q); - importer->import_attributes(c->attributes, root); + if (c) importer->import_attributes(c->attributes, root); } } catch (ParserErrorException) |