Use [] instead of at on vector

romainbrenguier · romainbrenguier · commit c1045aa66ee4 · 2018-02-20T13:36:08.000Z
The index is checked against the size before end so there is no need to
use at there.
diff --git a/src/goto-instrument/cover_basic_blocks.cpp b/src/goto-instrument/cover_basic_blocks.cpp
@@ -98,14 +98,14 @@ optionalt<goto_programt::const_targett>
 cover_basic_blockst::instruction_of(const std::size_t block_nr) const
 {
   INVARIANT(block_nr < block_infos.size(), "block number out of range");
-  return block_infos.at(block_nr).representative_inst;
+  return block_infos[block_nr].representative_inst;
 }
 
 const source_locationt &
 cover_basic_blockst::source_location_of(const std::size_t block_nr) const
 {
   INVARIANT(block_nr < block_infos.size(), "block number out of range");
-  return block_infos.at(block_nr).source_location;
+  return block_infos[block_nr].source_location;
 }
 
 void cover_basic_blockst::report_block_anomalies(

Original file line number	Diff line number	Diff line change
`@@ -98,14 +98,14 @@ optionalt<goto_programt::const_targett>`
`98`	`98`	`cover_basic_blockst::instruction_of(const std::size_t block_nr) const`
`99`	`99`	`{`
`100`	`100`	`INVARIANT(block_nr < block_infos.size(), "block number out of range");`
`101`		`- return block_infos.at(block_nr).representative_inst;`
	`101`	`+ return block_infos[block_nr].representative_inst;`
`102`	`102`	`}`
`103`	`103`
`104`	`104`	`const source_locationt &`
`105`	`105`	`cover_basic_blockst::source_location_of(const std::size_t block_nr) const`
`106`	`106`	`{`
`107`	`107`	`INVARIANT(block_nr < block_infos.size(), "block number out of range");`
`108`		`- return block_infos.at(block_nr).source_location;`
	`108`	`+ return block_infos[block_nr].source_location;`
`109`	`109`	`}`
`110`	`110`
`111`	`111`	`void cover_basic_blockst::report_block_anomalies(`