Move goto_cc_cmdlinet::have_infile_arg to .cpp

So that it can be refactored to use a standard algorithm without adding
extra includes to the header file.

Author: thomasspriggs

src/goto-cc/goto_cc_cmdline.cpp

@@ -117,3 +117,13 @@ void goto_cc_cmdlinet::add_infile_arg(const std::string &arg)
     fclose(tmp);
   }
 }
+
+bool goto_cc_cmdlinet::have_infile_arg() const
+{
+  for(parsed_argvt::const_iterator it = parsed_argv.begin();
+      it != parsed_argv.end();
+      it++)
+    if(it->is_infile_name)
+      return true;
+  return false;
+}

src/goto-cc/goto_cc_cmdline.h

@@ -63,14 +63,7 @@ class goto_cc_cmdlinet:public cmdlinet
   typedef std::list<argt> parsed_argvt;
   parsed_argvt parsed_argv;
 
-  bool have_infile_arg() const
-  {
-    for(parsed_argvt::const_iterator
-        it=parsed_argv.begin(); it!=parsed_argv.end(); it++)
-      if(it->is_infile_name)
-        return true;
-    return false;
-  }
+  bool have_infile_arg() const;
 
   std::string stdin_file;