cprover
gcc_message_handler.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #include "gcc_message_handler.h"
10 
11 #include <util/unicode.h>
12 
13 #include <fstream>
14 #include <iostream>
15 
17  unsigned level,
18  const std::string &message,
19  const source_locationt &location)
20 {
22 
23  if(verbosity >= level)
24  {
25  // gcc appears to send everything to cerr
26  auto &out = std::cerr;
27 
28  const irep_idt file = location.get_file();
29  const irep_idt line = location.get_line();
30  const irep_idt column = location.get_column();
31  const irep_idt function = location.get_function();
32 
33  if(!function.empty())
34  {
35  if(!file.empty())
36  out << string(messaget::bold) << file << ':' << string(messaget::reset)
37  << ' ';
38  out << "In function " << string(messaget::bold) << '\'' << function
39  << '\'' << string(messaget::reset) << ":\n";
40  }
41 
42  if(!line.empty())
43  {
44  out << string(messaget::bold);
45 
46  if(!file.empty())
47  out << file << ':';
48 
49  out << line << ':';
50 
51  if(column.empty())
52  out << "1: ";
53  else
54  out << column << ": ";
55 
56  if(level == messaget::M_ERROR)
57  out << string(messaget::red) << "error: ";
58  else if(level == messaget::M_WARNING)
59  out << string(messaget::bright_magenta) << "warning: ";
60 
61  out << string(messaget::reset);
62  }
63 
64  out << message << '\n';
65 
66  const auto file_name = location.full_path();
67  if(file_name.has_value() && !line.empty())
68  {
69 #ifdef _MSC_VER
70  std::ifstream in(widen(file_name.value()));
71 #else
72  std::ifstream in(file_name.value());
73 #endif
74  if(in)
75  {
76  const auto line_number = std::stoull(id2string(line));
77  std::string source_line;
78  for(std::size_t l = 0; l < line_number; l++)
79  std::getline(in, source_line);
80 
81  if(in)
82  out << ' ' << source_line << '\n'; // gcc adds a space, clang doesn't
83  }
84  }
85 
86  out << std::flush;
87  }
88 }
89 
90 void gcc_message_handlert::print(unsigned level, const std::string &message)
91 {
93 
94  // gcc appears to send everything to cerr
95  if(verbosity >= level)
96  std::cerr << message << '\n' << std::flush;
97 }
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
source_locationt::get_function
const irep_idt & get_function() const
Definition: source_location.h:56
messaget::reset
static const commandt reset
return to default formatting, as defined by the terminal
Definition: message.h:343
file
Definition: kdev_t.h:19
source_locationt::get_column
const irep_idt & get_column() const
Definition: source_location.h:51
message_handlert::verbosity
unsigned verbosity
Definition: message.h:72
source_locationt::get_line
const irep_idt & get_line() const
Definition: source_location.h:46
message_handlert::print
virtual void print(unsigned level, const std::string &message)=0
Definition: message.cpp:59
messaget::bright_magenta
static const commandt bright_magenta
render text with bright magenta foreground color
Definition: message.h:376
message
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
Definition: static_verifier.cpp:74
messaget::bold
static const commandt bold
render text with bold font
Definition: message.h:382
gcc_message_handlert::string
std::string string(const messaget::commandt &c) const
feed a command into a string
Definition: gcc_message_handler.h:35
id2string
const std::string & id2string(const irep_idt &d)
Definition: irep.h:44
messaget::M_ERROR
@ M_ERROR
Definition: message.h:170
dstringt::empty
bool empty() const
Definition: dstring.h:88
source_locationt::full_path
optionalt< std::string > full_path() const
Get a path to the file, including working directory.
Definition: source_location.cpp:85
widen
std::wstring widen(const char *s)
Definition: unicode.cpp:50
source_locationt
Definition: source_location.h:20
gcc_message_handler.h
messaget::M_WARNING
@ M_WARNING
Definition: message.h:170
messaget::red
static const commandt red
render text with red foreground color
Definition: message.h:346
gcc_message_handlert::print
void print(unsigned, const xmlt &) override
Definition: gcc_message_handler.h:17
unicode.h
source_locationt::get_file
const irep_idt & get_file() const
Definition: source_location.h:36