diff options
Diffstat (limited to 'translate.cxx')
-rw-r--r-- | translate.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/translate.cxx b/translate.cxx index 9f057043..b3a4221e 100644 --- a/translate.cxx +++ b/translate.cxx @@ -1604,8 +1604,12 @@ delete_statement_operand_visitor::visit_symbol (symbol* e) { mapvar mvar = parent->getmap(e->referent, e->tok); varlock_w guard (*parent, mvar); + /* NB: such memory deallocation/allocation operations + are not generally legal in all probe contexts. parent->o->newline() << mvar.fini (); parent->o->newline() << mvar.init (); + */ + parent->o->newline() << "_stp_map_clear (" << mvar.qname() << ");"; } void |