Delete trigger dump when --protect-ids is used

In order to not leak signal names with --protect-ids, we simply make the
trigger dump function empty (this is a debug only construct).

Partial fix for #3689
This commit is contained in:
Geza Lore 2022-10-20 15:32:10 +01:00
parent 6a3ec17887
commit 7b07cf912e

View File

@ -507,6 +507,9 @@ const TriggerKit createTriggers(AstNetlist* netlistp, SenExprBuilder& senExprBui
add("#endif\n");
}
// The debug code might leak signal names, so simply delete it when using --protect-ids
if (v3Global.opt.protectIds()) dumpp->stmtsp()->unlinkFrBackWithNext()->deleteTree();
return {vscp, funcp, dumpp, map};
}