blob: a504e80b596125566cf0c0f33a7323c856e443a4 [file] [log] [blame]
Ted Kremenekd3abcdf2008-03-27 03:49:32 +00001//===--- PathDiagnostic.cpp - Path-Specific Diagnostic Handling -*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the PathDiagnostic-related interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Analysis/PathDiagnostic.h"
Chris Lattnerf4c83962008-11-19 06:51:40 +000015#include "llvm/ADT/SmallString.h"
Ted Kremenek0e5c8d42009-03-10 05:16:17 +000016#include "llvm/Support/Casting.h"
Ted Kremenek120187d2008-03-27 06:16:40 +000017#include <sstream>
Ted Kremenekd3abcdf2008-03-27 03:49:32 +000018using namespace clang;
Ted Kremenek0e5c8d42009-03-10 05:16:17 +000019using llvm::dyn_cast;
20using llvm::isa;
21
22bool PathDiagnosticMacroPiece::containsEvent() const {
23 for (const_iterator I = begin(), E = end(); I!=E; ++I) {
24 if (isa<PathDiagnosticEventPiece>(*I))
25 return true;
26
27 if (PathDiagnosticMacroPiece *MP = dyn_cast<PathDiagnosticMacroPiece>(*I))
28 if (MP->containsEvent())
29 return true;
30 }
31
32 return false;
33}
Ted Kremenek8af29752009-02-26 21:30:32 +000034
35static size_t GetNumCharsToLastNonPeriod(const char *s) {
36 const char *start = s;
37 const char *lastNonPeriod = 0;
38
39 for ( ; *s != '\0' ; ++s)
40 if (*s != '.') lastNonPeriod = s;
Ted Kremenekd3abcdf2008-03-27 03:49:32 +000041
Ted Kremenek8af29752009-02-26 21:30:32 +000042 if (!lastNonPeriod)
43 return 0;
44
45 return (lastNonPeriod - start) + 1;
46}
47
48static inline size_t GetNumCharsToLastNonPeriod(const std::string &s) {
49 return s.empty () ? 0 : GetNumCharsToLastNonPeriod(&s[0]);
50}
51
52PathDiagnosticPiece::PathDiagnosticPiece(FullSourceLoc pos,
53 const std::string& s,
Ted Kremeneke3ce2652009-03-02 19:39:50 +000054 Kind k, DisplayHint hint)
Ted Kremenek48504512009-03-06 07:53:30 +000055 : Pos(pos), str(s, 0, GetNumCharsToLastNonPeriod(s)), kind(k), Hint(hint) {
56 assert(Pos.isValid() &&
57 "PathDiagnosticPiece's must have a valid location.");
58}
Ted Kremenek8af29752009-02-26 21:30:32 +000059
60PathDiagnosticPiece::PathDiagnosticPiece(FullSourceLoc pos,
Ted Kremeneke3ce2652009-03-02 19:39:50 +000061 const char* s, Kind k,
Ted Kremenek8af29752009-02-26 21:30:32 +000062 DisplayHint hint)
Ted Kremenek48504512009-03-06 07:53:30 +000063 : Pos(pos), str(s, GetNumCharsToLastNonPeriod(s)), kind(k), Hint(hint) {
64 assert(Pos.isValid() &&
65 "PathDiagnosticPiece's must have a valid location.");
66}
67
Ted Kremenek4e063872009-03-06 22:10:49 +000068PathDiagnosticPiece::~PathDiagnosticPiece() {}
Ted Kremenek1fbfd5b2009-03-06 23:58:11 +000069PathDiagnosticEventPiece::~PathDiagnosticEventPiece() {}
70PathDiagnosticControlFlowPiece::~PathDiagnosticControlFlowPiece() {}
Ted Kremenek4e063872009-03-06 22:10:49 +000071
72PathDiagnosticMacroPiece::~PathDiagnosticMacroPiece() {
73 for (iterator I = begin(), E = end(); I != E; ++I) delete *I;
74}
75
Ted Kremenek48504512009-03-06 07:53:30 +000076PathDiagnostic::PathDiagnostic() : Size(0) {}
Ted Kremenek8af29752009-02-26 21:30:32 +000077
Ted Kremenekd3abcdf2008-03-27 03:49:32 +000078PathDiagnostic::~PathDiagnostic() {
79 for (iterator I = begin(), E = end(); I != E; ++I) delete &*I;
80}
81
Ted Kremenek0e5c8d42009-03-10 05:16:17 +000082void PathDiagnostic::resetPath(bool deletePieces) {
83 Size = 0;
84
85 if (deletePieces)
86 for (iterator I=begin(), E=end(); I!=E; ++I)
87 delete &*I;
88
89 path.clear();
90}
91
Ted Kremeneka127cca2009-03-06 07:08:50 +000092
93PathDiagnostic::PathDiagnostic(const char* bugtype, const char* desc,
94 const char* category)
Ted Kremenek48504512009-03-06 07:53:30 +000095 : Size(0),
96 BugType(bugtype, GetNumCharsToLastNonPeriod(bugtype)),
Ted Kremeneka127cca2009-03-06 07:08:50 +000097 Desc(desc, GetNumCharsToLastNonPeriod(desc)),
98 Category(category, GetNumCharsToLastNonPeriod(category)) {}
99
100PathDiagnostic::PathDiagnostic(const std::string& bugtype,
101 const std::string& desc,
102 const std::string& category)
Ted Kremenek48504512009-03-06 07:53:30 +0000103 : Size(0),
104 BugType(bugtype, 0, GetNumCharsToLastNonPeriod(bugtype)),
Ted Kremeneka127cca2009-03-06 07:08:50 +0000105 Desc(desc, 0, GetNumCharsToLastNonPeriod(desc)),
106 Category(category, 0, GetNumCharsToLastNonPeriod(category)) {}
107
Chris Lattner0a14eee2008-11-18 07:04:44 +0000108void PathDiagnosticClient::HandleDiagnostic(Diagnostic::Level DiagLevel,
109 const DiagnosticInfo &Info) {
Ted Kremenekd3abcdf2008-03-27 03:49:32 +0000110
111 // Create a PathDiagnostic with a single piece.
112
Ted Kremenek55851142008-04-22 16:15:03 +0000113 PathDiagnostic* D = new PathDiagnostic();
Ted Kremenekd3abcdf2008-03-27 03:49:32 +0000114
Chris Lattnere837f932008-11-18 04:44:58 +0000115 const char *LevelStr;
Ted Kremenek120187d2008-03-27 06:16:40 +0000116 switch (DiagLevel) {
Mike Stumpe87f5c12009-02-07 03:46:08 +0000117 default:
Chris Lattner41327582009-02-06 03:57:44 +0000118 case Diagnostic::Ignored: assert(0 && "Invalid diagnostic type");
Chris Lattnere837f932008-11-18 04:44:58 +0000119 case Diagnostic::Note: LevelStr = "note: "; break;
120 case Diagnostic::Warning: LevelStr = "warning: "; break;
121 case Diagnostic::Error: LevelStr = "error: "; break;
Chris Lattner41327582009-02-06 03:57:44 +0000122 case Diagnostic::Fatal: LevelStr = "fatal error: "; break;
Ted Kremenekd3abcdf2008-03-27 03:49:32 +0000123 }
Ted Kremenek120187d2008-03-27 06:16:40 +0000124
Chris Lattnerf4c83962008-11-19 06:51:40 +0000125 llvm::SmallString<100> StrC;
126 StrC += LevelStr;
127 Info.FormatDiagnostic(StrC);
Ted Kremenek120187d2008-03-27 06:16:40 +0000128
Chris Lattner0a14eee2008-11-18 07:04:44 +0000129 PathDiagnosticPiece *P =
Ted Kremenek1fbfd5b2009-03-06 23:58:11 +0000130 new PathDiagnosticEventPiece(Info.getLocation(),
Chris Lattnerf4c83962008-11-19 06:51:40 +0000131 std::string(StrC.begin(), StrC.end()));
Ted Kremenek120187d2008-03-27 06:16:40 +0000132
Chris Lattner0a14eee2008-11-18 07:04:44 +0000133 for (unsigned i = 0, e = Info.getNumRanges(); i != e; ++i)
134 P->addRange(Info.getRange(i));
Douglas Gregor4b2d3f72009-02-26 21:00:50 +0000135 for (unsigned i = 0, e = Info.getNumCodeModificationHints(); i != e; ++i)
136 P->addCodeModificationHint(Info.getCodeModificationHint(i));
Ted Kremenek55851142008-04-22 16:15:03 +0000137 D->push_front(P);
Ted Kremenekd3abcdf2008-03-27 03:49:32 +0000138
Ted Kremenek120187d2008-03-27 06:16:40 +0000139 HandlePathDiagnostic(D);
Ted Kremenekd3abcdf2008-03-27 03:49:32 +0000140}