From 6ee60cdff79b6b34a1c9875471b47cc36df3a7ea Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 20 Jun 2018 10:13:14 +0000 Subject: [PATCH] Do not unnecessarily convert mp_integer to bounded type --- src/goto-cc/linker_script_merge.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/goto-cc/linker_script_merge.cpp b/src/goto-cc/linker_script_merge.cpp index 6a132bf88bb..469eb64ffdf 100644 --- a/src/goto-cc/linker_script_merge.cpp +++ b/src/goto-cc/linker_script_merge.cpp @@ -415,7 +415,7 @@ int linker_script_merget::ls_data2instructions( // Array symbol_exprt - std::size_t array_size=integer2size_t(string2integer(d["size"].value)); + mp_integer array_size = string2integer(d["size"].value); if(array_size > MAX_FLATTENED_ARRAY_SIZE) { warning() << "Object section '" << d["section"].value << "' of size " @@ -434,7 +434,7 @@ int linker_script_merget::ls_data2instructions( array_loc.set_file(linker_script); std::ostringstream array_comment; array_comment << "Object section '" << d["section"].value << "' of size " - << integer2unsigned(array_size) << " bytes"; + << array_size << " bytes"; array_loc.set_comment(array_comment.str()); array_expr.add_source_location()=array_loc;