CC: Factor out help and version printing into Native::print_info().

divine/cc/native.cpp

@@ -176,6 +176,14 @@ namespace divine::cc
         }
     }
 
+    void Native::print_info( std::string_view version )
+    {
+        if ( _po.hasVersion )
+            std::cout << "divine version: " << version << "\n";
+        cc::ClangDriver drv;
+        delete drv.BuildCompilation( { "divcc", _po.hasHelp ? "--help" : "--version" } );
+    }
+
     Native::~Native()
     {
         if ( !_po.toObjectOnly )

divine/cc/native.hpp

@@ -41,6 +41,7 @@ namespace divine::cc
         int run();
         virtual std::unique_ptr< llvm::Module > link_bitcode();
         void construct_paired_files();
+        void print_info( std::string_view version );
 
         cc::ParsedOpts _po;
         PairedFiles _files;

tools/divcc.cpp

@@ -36,10 +36,7 @@ int main( int argc, char **argv )
 
         if ( po.hasHelp || po.hasVersion )
         {
-            if ( po.hasVersion )
-                std::cout << "divine version: " << ui::version() << "\n";
-            cc::ClangDriver drv;
-            delete drv.BuildCompilation( { "divcc", po.hasHelp ? "--help" : "--version" } );
+            nativeCC.print_info( ui::version() );
             return 0;
         }