Merge pull request #6032 from vmihalko/bad_ref_type

kroening · web-flow · commit e2d227f6a103 · 2021-04-13T22:52:28.000+01:00
goto-cc: Fix compilation with GCC 11
diff --git a/src/goto-cc/ms_link_cmdline.cpp b/src/goto-cc/ms_link_cmdline.cpp
@@ -333,7 +333,7 @@ void ms_link_cmdlinet::process_link_option(const std::string &s)
     return;
   }
 
-  for(const std::string &ms_link_option : ms_link_options)
+  for(const std::string ms_link_option : ms_link_options)
   {
     // These are case insensitive.
     if(

Original file line number	Diff line number	Diff line change
`@@ -333,7 +333,7 @@ void ms_link_cmdlinet::process_link_option(const std::string &s)`
`333`	`333`	`return;`
`334`	`334`	`}`
`335`	`335`
`336`		`- for(const std::string &ms_link_option : ms_link_options)`
	`336`	`+ for(const std::string ms_link_option : ms_link_options)`
`337`	`337`	`{`
`338`	`338`	`// These are case insensitive.`
`339`	`339`	`if(`