From 8c2f6e13a672ad21b00592e23a390aebb00eb280 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 20 Jun 2018 10:14:14 +0000 Subject: [PATCH] Use std::set instead of map as value is never used --- src/goto-instrument/goto_program2code.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/goto-instrument/goto_program2code.cpp b/src/goto-instrument/goto_program2code.cpp index aa1b96bab13..4ff366aaa51 100644 --- a/src/goto-instrument/goto_program2code.cpp +++ b/src/goto-instrument/goto_program2code.cpp @@ -775,7 +775,7 @@ bool goto_program2codet::set_block_end_points( cases_listt &cases, std::set &processed_locations) { - std::map targets_done; + std::set targets_done; for(cases_listt::iterator it=cases.begin(); it!=cases.end(); @@ -783,7 +783,7 @@ bool goto_program2codet::set_block_end_points( { // some branch targets may be shared by multiple branch instructions, // as in case 1: case 2: code; we build a nested code_switch_caset - if(targets_done.find(it->case_start)!=targets_done.end()) + if(!targets_done.insert(it->case_start).second) continue; // compute the block that belongs to this case @@ -819,8 +819,6 @@ bool goto_program2codet::set_block_end_points( it->case_last=case_end; } - - targets_done[it->case_start]=1; } return false;