Use enum entries instead of numeric values when comparing verbosity

Author: tautschnig

src/goto-cc/armcc_mode.cpp

@@ -130,7 +130,7 @@ int armcc_modet::doit()
     compiler.output_file_executable="a.out";
   }
 
-  if(verbosity>8)
+  if(verbosity > messaget::M_STATISTICS)
   {
     std::list<std::string>::iterator it;
 

src/goto-cc/cw_mode.cpp

@@ -119,7 +119,7 @@ int cw_modet::doit()
       config.ansi_c.preprocessor_options.push_back("-isystem "+*it);
   }
 
-  if(verbosity>8)
+  if(verbosity > messaget::M_STATISTICS)
   {
     std::list<std::string>::iterator it;
 

src/goto-cc/linker_script_merge.cpp

@@ -685,9 +685,9 @@ int linker_script_merget::get_linker_script_data(
     "--out-file", def_out_file
   };
 
-  if(get_message_handler().get_verbosity()>9)
+  if(get_message_handler().get_verbosity() >= messaget::M_DEBUG)
     argv.push_back("--very-verbose");
-  else if(get_message_handler().get_verbosity()>4)
+  else if(get_message_handler().get_verbosity() > messaget::M_RESULT)
     argv.push_back("--verbose");
 
   debug() << "RUN:";

src/goto-cc/ms_cl_mode.cpp

@@ -112,7 +112,7 @@ int ms_cl_modet::doit()
   if(cmdline.isset('J'))
     config.ansi_c.char_is_unsigned=true;
 
-  if(verbosity>8)
+  if(verbosity > messaget::M_STATISTICS)
   {
     std::list<std::string>::iterator it;