diff options
Diffstat (limited to 'gcc/analyzer/region-model-asm.cc')
| -rw-r--r-- | gcc/analyzer/region-model-asm.cc | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/analyzer/region-model-asm.cc b/gcc/analyzer/region-model-asm.cc index c7389f0..bb73e6e 100644 --- a/gcc/analyzer/region-model-asm.cc +++ b/gcc/analyzer/region-model-asm.cc @@ -272,7 +272,8 @@ region_model::on_asm_stmt (const gasm *stmt, region_model_context *ctxt) continue; binding_cluster *cluster = m_store.get_or_create_cluster (base_reg); - cluster->on_asm (stmt, m_mgr->get_store_manager ()); + cluster->on_asm (stmt, m_mgr->get_store_manager (), + conjured_purge (this, ctxt)); } /* Update the outputs. */ @@ -292,8 +293,9 @@ region_model::on_asm_stmt (const gasm *stmt, region_model_context *ctxt) { sval = m_mgr->get_or_create_conjured_svalue (TREE_TYPE (dst_expr), stmt, - dst_reg); - purge_state_involving (sval, ctxt); + dst_reg, + conjured_purge (this, + ctxt)); } set_value (dst_reg, sval, ctxt); } |