xref: /freebsd/contrib/llvm-project/llvm/lib/Support/SourceMgr.cpp (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
1*0b57cec5SDimitry Andric //===- SourceMgr.cpp - Manager for Simple Source Buffers & Diagnostics ----===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This file implements the SourceMgr class.  This class is used as a simple
10*0b57cec5SDimitry Andric // substrate for diagnostics, #include handling, and other low level things for
11*0b57cec5SDimitry Andric // simple parsers.
12*0b57cec5SDimitry Andric //
13*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
14*0b57cec5SDimitry Andric 
15*0b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h"
16*0b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
17*0b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
18*0b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
19*0b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
20*0b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
21*0b57cec5SDimitry Andric #include "llvm/Support/ErrorOr.h"
22*0b57cec5SDimitry Andric #include "llvm/Support/Locale.h"
23*0b57cec5SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
24*0b57cec5SDimitry Andric #include "llvm/Support/Path.h"
25*0b57cec5SDimitry Andric #include "llvm/Support/SMLoc.h"
26*0b57cec5SDimitry Andric #include "llvm/Support/WithColor.h"
27*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
28*0b57cec5SDimitry Andric #include <algorithm>
29*0b57cec5SDimitry Andric #include <cassert>
30*0b57cec5SDimitry Andric #include <cstddef>
31*0b57cec5SDimitry Andric #include <limits>
32*0b57cec5SDimitry Andric #include <memory>
33*0b57cec5SDimitry Andric #include <string>
34*0b57cec5SDimitry Andric #include <utility>
35*0b57cec5SDimitry Andric 
36*0b57cec5SDimitry Andric using namespace llvm;
37*0b57cec5SDimitry Andric 
38*0b57cec5SDimitry Andric static const size_t TabStop = 8;
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric unsigned SourceMgr::AddIncludeFile(const std::string &Filename,
41*0b57cec5SDimitry Andric                                    SMLoc IncludeLoc,
42*0b57cec5SDimitry Andric                                    std::string &IncludedFile) {
43*0b57cec5SDimitry Andric   IncludedFile = Filename;
44*0b57cec5SDimitry Andric   ErrorOr<std::unique_ptr<MemoryBuffer>> NewBufOrErr =
45*0b57cec5SDimitry Andric     MemoryBuffer::getFile(IncludedFile);
46*0b57cec5SDimitry Andric 
47*0b57cec5SDimitry Andric   // If the file didn't exist directly, see if it's in an include path.
48*0b57cec5SDimitry Andric   for (unsigned i = 0, e = IncludeDirectories.size(); i != e && !NewBufOrErr;
49*0b57cec5SDimitry Andric        ++i) {
50*0b57cec5SDimitry Andric     IncludedFile =
51*0b57cec5SDimitry Andric         IncludeDirectories[i] + sys::path::get_separator().data() + Filename;
52*0b57cec5SDimitry Andric     NewBufOrErr = MemoryBuffer::getFile(IncludedFile);
53*0b57cec5SDimitry Andric   }
54*0b57cec5SDimitry Andric 
55*0b57cec5SDimitry Andric   if (!NewBufOrErr)
56*0b57cec5SDimitry Andric     return 0;
57*0b57cec5SDimitry Andric 
58*0b57cec5SDimitry Andric   return AddNewSourceBuffer(std::move(*NewBufOrErr), IncludeLoc);
59*0b57cec5SDimitry Andric }
60*0b57cec5SDimitry Andric 
61*0b57cec5SDimitry Andric unsigned SourceMgr::FindBufferContainingLoc(SMLoc Loc) const {
62*0b57cec5SDimitry Andric   for (unsigned i = 0, e = Buffers.size(); i != e; ++i)
63*0b57cec5SDimitry Andric     if (Loc.getPointer() >= Buffers[i].Buffer->getBufferStart() &&
64*0b57cec5SDimitry Andric         // Use <= here so that a pointer to the null at the end of the buffer
65*0b57cec5SDimitry Andric         // is included as part of the buffer.
66*0b57cec5SDimitry Andric         Loc.getPointer() <= Buffers[i].Buffer->getBufferEnd())
67*0b57cec5SDimitry Andric       return i + 1;
68*0b57cec5SDimitry Andric   return 0;
69*0b57cec5SDimitry Andric }
70*0b57cec5SDimitry Andric 
71*0b57cec5SDimitry Andric template <typename T>
72*0b57cec5SDimitry Andric unsigned SourceMgr::SrcBuffer::getLineNumber(const char *Ptr) const {
73*0b57cec5SDimitry Andric 
74*0b57cec5SDimitry Andric   // Ensure OffsetCache is allocated and populated with offsets of all the
75*0b57cec5SDimitry Andric   // '\n' bytes.
76*0b57cec5SDimitry Andric   std::vector<T> *Offsets = nullptr;
77*0b57cec5SDimitry Andric   if (OffsetCache.isNull()) {
78*0b57cec5SDimitry Andric     Offsets = new std::vector<T>();
79*0b57cec5SDimitry Andric     OffsetCache = Offsets;
80*0b57cec5SDimitry Andric     size_t Sz = Buffer->getBufferSize();
81*0b57cec5SDimitry Andric     assert(Sz <= std::numeric_limits<T>::max());
82*0b57cec5SDimitry Andric     StringRef S = Buffer->getBuffer();
83*0b57cec5SDimitry Andric     for (size_t N = 0; N < Sz; ++N) {
84*0b57cec5SDimitry Andric       if (S[N] == '\n') {
85*0b57cec5SDimitry Andric         Offsets->push_back(static_cast<T>(N));
86*0b57cec5SDimitry Andric       }
87*0b57cec5SDimitry Andric     }
88*0b57cec5SDimitry Andric   } else {
89*0b57cec5SDimitry Andric     Offsets = OffsetCache.get<std::vector<T> *>();
90*0b57cec5SDimitry Andric   }
91*0b57cec5SDimitry Andric 
92*0b57cec5SDimitry Andric   const char *BufStart = Buffer->getBufferStart();
93*0b57cec5SDimitry Andric   assert(Ptr >= BufStart && Ptr <= Buffer->getBufferEnd());
94*0b57cec5SDimitry Andric   ptrdiff_t PtrDiff = Ptr - BufStart;
95*0b57cec5SDimitry Andric   assert(PtrDiff >= 0 && static_cast<size_t>(PtrDiff) <= std::numeric_limits<T>::max());
96*0b57cec5SDimitry Andric   T PtrOffset = static_cast<T>(PtrDiff);
97*0b57cec5SDimitry Andric 
98*0b57cec5SDimitry Andric   // llvm::lower_bound gives the number of EOL before PtrOffset. Add 1 to get
99*0b57cec5SDimitry Andric   // the line number.
100*0b57cec5SDimitry Andric   return llvm::lower_bound(*Offsets, PtrOffset) - Offsets->begin() + 1;
101*0b57cec5SDimitry Andric }
102*0b57cec5SDimitry Andric 
103*0b57cec5SDimitry Andric SourceMgr::SrcBuffer::SrcBuffer(SourceMgr::SrcBuffer &&Other)
104*0b57cec5SDimitry Andric   : Buffer(std::move(Other.Buffer)),
105*0b57cec5SDimitry Andric     OffsetCache(Other.OffsetCache),
106*0b57cec5SDimitry Andric     IncludeLoc(Other.IncludeLoc) {
107*0b57cec5SDimitry Andric   Other.OffsetCache = nullptr;
108*0b57cec5SDimitry Andric }
109*0b57cec5SDimitry Andric 
110*0b57cec5SDimitry Andric SourceMgr::SrcBuffer::~SrcBuffer() {
111*0b57cec5SDimitry Andric   if (!OffsetCache.isNull()) {
112*0b57cec5SDimitry Andric     if (OffsetCache.is<std::vector<uint8_t>*>())
113*0b57cec5SDimitry Andric       delete OffsetCache.get<std::vector<uint8_t>*>();
114*0b57cec5SDimitry Andric     else if (OffsetCache.is<std::vector<uint16_t>*>())
115*0b57cec5SDimitry Andric       delete OffsetCache.get<std::vector<uint16_t>*>();
116*0b57cec5SDimitry Andric     else if (OffsetCache.is<std::vector<uint32_t>*>())
117*0b57cec5SDimitry Andric       delete OffsetCache.get<std::vector<uint32_t>*>();
118*0b57cec5SDimitry Andric     else
119*0b57cec5SDimitry Andric       delete OffsetCache.get<std::vector<uint64_t>*>();
120*0b57cec5SDimitry Andric     OffsetCache = nullptr;
121*0b57cec5SDimitry Andric   }
122*0b57cec5SDimitry Andric }
123*0b57cec5SDimitry Andric 
124*0b57cec5SDimitry Andric std::pair<unsigned, unsigned>
125*0b57cec5SDimitry Andric SourceMgr::getLineAndColumn(SMLoc Loc, unsigned BufferID) const {
126*0b57cec5SDimitry Andric   if (!BufferID)
127*0b57cec5SDimitry Andric     BufferID = FindBufferContainingLoc(Loc);
128*0b57cec5SDimitry Andric   assert(BufferID && "Invalid Location!");
129*0b57cec5SDimitry Andric 
130*0b57cec5SDimitry Andric   auto &SB = getBufferInfo(BufferID);
131*0b57cec5SDimitry Andric   const char *Ptr = Loc.getPointer();
132*0b57cec5SDimitry Andric 
133*0b57cec5SDimitry Andric   size_t Sz = SB.Buffer->getBufferSize();
134*0b57cec5SDimitry Andric   unsigned LineNo;
135*0b57cec5SDimitry Andric   if (Sz <= std::numeric_limits<uint8_t>::max())
136*0b57cec5SDimitry Andric     LineNo = SB.getLineNumber<uint8_t>(Ptr);
137*0b57cec5SDimitry Andric   else if (Sz <= std::numeric_limits<uint16_t>::max())
138*0b57cec5SDimitry Andric     LineNo = SB.getLineNumber<uint16_t>(Ptr);
139*0b57cec5SDimitry Andric   else if (Sz <= std::numeric_limits<uint32_t>::max())
140*0b57cec5SDimitry Andric     LineNo = SB.getLineNumber<uint32_t>(Ptr);
141*0b57cec5SDimitry Andric   else
142*0b57cec5SDimitry Andric     LineNo = SB.getLineNumber<uint64_t>(Ptr);
143*0b57cec5SDimitry Andric 
144*0b57cec5SDimitry Andric   const char *BufStart = SB.Buffer->getBufferStart();
145*0b57cec5SDimitry Andric   size_t NewlineOffs = StringRef(BufStart, Ptr-BufStart).find_last_of("\n\r");
146*0b57cec5SDimitry Andric   if (NewlineOffs == StringRef::npos) NewlineOffs = ~(size_t)0;
147*0b57cec5SDimitry Andric   return std::make_pair(LineNo, Ptr-BufStart-NewlineOffs);
148*0b57cec5SDimitry Andric }
149*0b57cec5SDimitry Andric 
150*0b57cec5SDimitry Andric void SourceMgr::PrintIncludeStack(SMLoc IncludeLoc, raw_ostream &OS) const {
151*0b57cec5SDimitry Andric   if (IncludeLoc == SMLoc()) return;  // Top of stack.
152*0b57cec5SDimitry Andric 
153*0b57cec5SDimitry Andric   unsigned CurBuf = FindBufferContainingLoc(IncludeLoc);
154*0b57cec5SDimitry Andric   assert(CurBuf && "Invalid or unspecified location!");
155*0b57cec5SDimitry Andric 
156*0b57cec5SDimitry Andric   PrintIncludeStack(getBufferInfo(CurBuf).IncludeLoc, OS);
157*0b57cec5SDimitry Andric 
158*0b57cec5SDimitry Andric   OS << "Included from "
159*0b57cec5SDimitry Andric      << getBufferInfo(CurBuf).Buffer->getBufferIdentifier()
160*0b57cec5SDimitry Andric      << ":" << FindLineNumber(IncludeLoc, CurBuf) << ":\n";
161*0b57cec5SDimitry Andric }
162*0b57cec5SDimitry Andric 
163*0b57cec5SDimitry Andric SMDiagnostic SourceMgr::GetMessage(SMLoc Loc, SourceMgr::DiagKind Kind,
164*0b57cec5SDimitry Andric                                    const Twine &Msg,
165*0b57cec5SDimitry Andric                                    ArrayRef<SMRange> Ranges,
166*0b57cec5SDimitry Andric                                    ArrayRef<SMFixIt> FixIts) const {
167*0b57cec5SDimitry Andric   // First thing to do: find the current buffer containing the specified
168*0b57cec5SDimitry Andric   // location to pull out the source line.
169*0b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, unsigned>, 4> ColRanges;
170*0b57cec5SDimitry Andric   std::pair<unsigned, unsigned> LineAndCol;
171*0b57cec5SDimitry Andric   StringRef BufferID = "<unknown>";
172*0b57cec5SDimitry Andric   std::string LineStr;
173*0b57cec5SDimitry Andric 
174*0b57cec5SDimitry Andric   if (Loc.isValid()) {
175*0b57cec5SDimitry Andric     unsigned CurBuf = FindBufferContainingLoc(Loc);
176*0b57cec5SDimitry Andric     assert(CurBuf && "Invalid or unspecified location!");
177*0b57cec5SDimitry Andric 
178*0b57cec5SDimitry Andric     const MemoryBuffer *CurMB = getMemoryBuffer(CurBuf);
179*0b57cec5SDimitry Andric     BufferID = CurMB->getBufferIdentifier();
180*0b57cec5SDimitry Andric 
181*0b57cec5SDimitry Andric     // Scan backward to find the start of the line.
182*0b57cec5SDimitry Andric     const char *LineStart = Loc.getPointer();
183*0b57cec5SDimitry Andric     const char *BufStart = CurMB->getBufferStart();
184*0b57cec5SDimitry Andric     while (LineStart != BufStart && LineStart[-1] != '\n' &&
185*0b57cec5SDimitry Andric            LineStart[-1] != '\r')
186*0b57cec5SDimitry Andric       --LineStart;
187*0b57cec5SDimitry Andric 
188*0b57cec5SDimitry Andric     // Get the end of the line.
189*0b57cec5SDimitry Andric     const char *LineEnd = Loc.getPointer();
190*0b57cec5SDimitry Andric     const char *BufEnd = CurMB->getBufferEnd();
191*0b57cec5SDimitry Andric     while (LineEnd != BufEnd && LineEnd[0] != '\n' && LineEnd[0] != '\r')
192*0b57cec5SDimitry Andric       ++LineEnd;
193*0b57cec5SDimitry Andric     LineStr = std::string(LineStart, LineEnd);
194*0b57cec5SDimitry Andric 
195*0b57cec5SDimitry Andric     // Convert any ranges to column ranges that only intersect the line of the
196*0b57cec5SDimitry Andric     // location.
197*0b57cec5SDimitry Andric     for (unsigned i = 0, e = Ranges.size(); i != e; ++i) {
198*0b57cec5SDimitry Andric       SMRange R = Ranges[i];
199*0b57cec5SDimitry Andric       if (!R.isValid()) continue;
200*0b57cec5SDimitry Andric 
201*0b57cec5SDimitry Andric       // If the line doesn't contain any part of the range, then ignore it.
202*0b57cec5SDimitry Andric       if (R.Start.getPointer() > LineEnd || R.End.getPointer() < LineStart)
203*0b57cec5SDimitry Andric         continue;
204*0b57cec5SDimitry Andric 
205*0b57cec5SDimitry Andric       // Ignore pieces of the range that go onto other lines.
206*0b57cec5SDimitry Andric       if (R.Start.getPointer() < LineStart)
207*0b57cec5SDimitry Andric         R.Start = SMLoc::getFromPointer(LineStart);
208*0b57cec5SDimitry Andric       if (R.End.getPointer() > LineEnd)
209*0b57cec5SDimitry Andric         R.End = SMLoc::getFromPointer(LineEnd);
210*0b57cec5SDimitry Andric 
211*0b57cec5SDimitry Andric       // Translate from SMLoc ranges to column ranges.
212*0b57cec5SDimitry Andric       // FIXME: Handle multibyte characters.
213*0b57cec5SDimitry Andric       ColRanges.push_back(std::make_pair(R.Start.getPointer()-LineStart,
214*0b57cec5SDimitry Andric                                          R.End.getPointer()-LineStart));
215*0b57cec5SDimitry Andric     }
216*0b57cec5SDimitry Andric 
217*0b57cec5SDimitry Andric     LineAndCol = getLineAndColumn(Loc, CurBuf);
218*0b57cec5SDimitry Andric   }
219*0b57cec5SDimitry Andric 
220*0b57cec5SDimitry Andric   return SMDiagnostic(*this, Loc, BufferID, LineAndCol.first,
221*0b57cec5SDimitry Andric                       LineAndCol.second-1, Kind, Msg.str(),
222*0b57cec5SDimitry Andric                       LineStr, ColRanges, FixIts);
223*0b57cec5SDimitry Andric }
224*0b57cec5SDimitry Andric 
225*0b57cec5SDimitry Andric void SourceMgr::PrintMessage(raw_ostream &OS, const SMDiagnostic &Diagnostic,
226*0b57cec5SDimitry Andric                              bool ShowColors) const {
227*0b57cec5SDimitry Andric   // Report the message with the diagnostic handler if present.
228*0b57cec5SDimitry Andric   if (DiagHandler) {
229*0b57cec5SDimitry Andric     DiagHandler(Diagnostic, DiagContext);
230*0b57cec5SDimitry Andric     return;
231*0b57cec5SDimitry Andric   }
232*0b57cec5SDimitry Andric 
233*0b57cec5SDimitry Andric   if (Diagnostic.getLoc().isValid()) {
234*0b57cec5SDimitry Andric     unsigned CurBuf = FindBufferContainingLoc(Diagnostic.getLoc());
235*0b57cec5SDimitry Andric     assert(CurBuf && "Invalid or unspecified location!");
236*0b57cec5SDimitry Andric     PrintIncludeStack(getBufferInfo(CurBuf).IncludeLoc, OS);
237*0b57cec5SDimitry Andric   }
238*0b57cec5SDimitry Andric 
239*0b57cec5SDimitry Andric   Diagnostic.print(nullptr, OS, ShowColors);
240*0b57cec5SDimitry Andric }
241*0b57cec5SDimitry Andric 
242*0b57cec5SDimitry Andric void SourceMgr::PrintMessage(raw_ostream &OS, SMLoc Loc,
243*0b57cec5SDimitry Andric                              SourceMgr::DiagKind Kind,
244*0b57cec5SDimitry Andric                              const Twine &Msg, ArrayRef<SMRange> Ranges,
245*0b57cec5SDimitry Andric                              ArrayRef<SMFixIt> FixIts, bool ShowColors) const {
246*0b57cec5SDimitry Andric   PrintMessage(OS, GetMessage(Loc, Kind, Msg, Ranges, FixIts), ShowColors);
247*0b57cec5SDimitry Andric }
248*0b57cec5SDimitry Andric 
249*0b57cec5SDimitry Andric void SourceMgr::PrintMessage(SMLoc Loc, SourceMgr::DiagKind Kind,
250*0b57cec5SDimitry Andric                              const Twine &Msg, ArrayRef<SMRange> Ranges,
251*0b57cec5SDimitry Andric                              ArrayRef<SMFixIt> FixIts, bool ShowColors) const {
252*0b57cec5SDimitry Andric   PrintMessage(errs(), Loc, Kind, Msg, Ranges, FixIts, ShowColors);
253*0b57cec5SDimitry Andric }
254*0b57cec5SDimitry Andric 
255*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
256*0b57cec5SDimitry Andric // SMDiagnostic Implementation
257*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
258*0b57cec5SDimitry Andric 
259*0b57cec5SDimitry Andric SMDiagnostic::SMDiagnostic(const SourceMgr &sm, SMLoc L, StringRef FN,
260*0b57cec5SDimitry Andric                            int Line, int Col, SourceMgr::DiagKind Kind,
261*0b57cec5SDimitry Andric                            StringRef Msg, StringRef LineStr,
262*0b57cec5SDimitry Andric                            ArrayRef<std::pair<unsigned,unsigned>> Ranges,
263*0b57cec5SDimitry Andric                            ArrayRef<SMFixIt> Hints)
264*0b57cec5SDimitry Andric   : SM(&sm), Loc(L), Filename(FN), LineNo(Line), ColumnNo(Col), Kind(Kind),
265*0b57cec5SDimitry Andric     Message(Msg), LineContents(LineStr), Ranges(Ranges.vec()),
266*0b57cec5SDimitry Andric     FixIts(Hints.begin(), Hints.end()) {
267*0b57cec5SDimitry Andric   llvm::sort(FixIts);
268*0b57cec5SDimitry Andric }
269*0b57cec5SDimitry Andric 
270*0b57cec5SDimitry Andric static void buildFixItLine(std::string &CaretLine, std::string &FixItLine,
271*0b57cec5SDimitry Andric                            ArrayRef<SMFixIt> FixIts, ArrayRef<char> SourceLine){
272*0b57cec5SDimitry Andric   if (FixIts.empty())
273*0b57cec5SDimitry Andric     return;
274*0b57cec5SDimitry Andric 
275*0b57cec5SDimitry Andric   const char *LineStart = SourceLine.begin();
276*0b57cec5SDimitry Andric   const char *LineEnd = SourceLine.end();
277*0b57cec5SDimitry Andric 
278*0b57cec5SDimitry Andric   size_t PrevHintEndCol = 0;
279*0b57cec5SDimitry Andric 
280*0b57cec5SDimitry Andric   for (ArrayRef<SMFixIt>::iterator I = FixIts.begin(), E = FixIts.end();
281*0b57cec5SDimitry Andric        I != E; ++I) {
282*0b57cec5SDimitry Andric     // If the fixit contains a newline or tab, ignore it.
283*0b57cec5SDimitry Andric     if (I->getText().find_first_of("\n\r\t") != StringRef::npos)
284*0b57cec5SDimitry Andric       continue;
285*0b57cec5SDimitry Andric 
286*0b57cec5SDimitry Andric     SMRange R = I->getRange();
287*0b57cec5SDimitry Andric 
288*0b57cec5SDimitry Andric     // If the line doesn't contain any part of the range, then ignore it.
289*0b57cec5SDimitry Andric     if (R.Start.getPointer() > LineEnd || R.End.getPointer() < LineStart)
290*0b57cec5SDimitry Andric       continue;
291*0b57cec5SDimitry Andric 
292*0b57cec5SDimitry Andric     // Translate from SMLoc to column.
293*0b57cec5SDimitry Andric     // Ignore pieces of the range that go onto other lines.
294*0b57cec5SDimitry Andric     // FIXME: Handle multibyte characters in the source line.
295*0b57cec5SDimitry Andric     unsigned FirstCol;
296*0b57cec5SDimitry Andric     if (R.Start.getPointer() < LineStart)
297*0b57cec5SDimitry Andric       FirstCol = 0;
298*0b57cec5SDimitry Andric     else
299*0b57cec5SDimitry Andric       FirstCol = R.Start.getPointer() - LineStart;
300*0b57cec5SDimitry Andric 
301*0b57cec5SDimitry Andric     // If we inserted a long previous hint, push this one forwards, and add
302*0b57cec5SDimitry Andric     // an extra space to show that this is not part of the previous
303*0b57cec5SDimitry Andric     // completion. This is sort of the best we can do when two hints appear
304*0b57cec5SDimitry Andric     // to overlap.
305*0b57cec5SDimitry Andric     //
306*0b57cec5SDimitry Andric     // Note that if this hint is located immediately after the previous
307*0b57cec5SDimitry Andric     // hint, no space will be added, since the location is more important.
308*0b57cec5SDimitry Andric     unsigned HintCol = FirstCol;
309*0b57cec5SDimitry Andric     if (HintCol < PrevHintEndCol)
310*0b57cec5SDimitry Andric       HintCol = PrevHintEndCol + 1;
311*0b57cec5SDimitry Andric 
312*0b57cec5SDimitry Andric     // FIXME: This assertion is intended to catch unintended use of multibyte
313*0b57cec5SDimitry Andric     // characters in fixits. If we decide to do this, we'll have to track
314*0b57cec5SDimitry Andric     // separate byte widths for the source and fixit lines.
315*0b57cec5SDimitry Andric     assert((size_t)sys::locale::columnWidth(I->getText()) ==
316*0b57cec5SDimitry Andric            I->getText().size());
317*0b57cec5SDimitry Andric 
318*0b57cec5SDimitry Andric     // This relies on one byte per column in our fixit hints.
319*0b57cec5SDimitry Andric     unsigned LastColumnModified = HintCol + I->getText().size();
320*0b57cec5SDimitry Andric     if (LastColumnModified > FixItLine.size())
321*0b57cec5SDimitry Andric       FixItLine.resize(LastColumnModified, ' ');
322*0b57cec5SDimitry Andric 
323*0b57cec5SDimitry Andric     std::copy(I->getText().begin(), I->getText().end(),
324*0b57cec5SDimitry Andric               FixItLine.begin() + HintCol);
325*0b57cec5SDimitry Andric 
326*0b57cec5SDimitry Andric     PrevHintEndCol = LastColumnModified;
327*0b57cec5SDimitry Andric 
328*0b57cec5SDimitry Andric     // For replacements, mark the removal range with '~'.
329*0b57cec5SDimitry Andric     // FIXME: Handle multibyte characters in the source line.
330*0b57cec5SDimitry Andric     unsigned LastCol;
331*0b57cec5SDimitry Andric     if (R.End.getPointer() >= LineEnd)
332*0b57cec5SDimitry Andric       LastCol = LineEnd - LineStart;
333*0b57cec5SDimitry Andric     else
334*0b57cec5SDimitry Andric       LastCol = R.End.getPointer() - LineStart;
335*0b57cec5SDimitry Andric 
336*0b57cec5SDimitry Andric     std::fill(&CaretLine[FirstCol], &CaretLine[LastCol], '~');
337*0b57cec5SDimitry Andric   }
338*0b57cec5SDimitry Andric }
339*0b57cec5SDimitry Andric 
340*0b57cec5SDimitry Andric static void printSourceLine(raw_ostream &S, StringRef LineContents) {
341*0b57cec5SDimitry Andric   // Print out the source line one character at a time, so we can expand tabs.
342*0b57cec5SDimitry Andric   for (unsigned i = 0, e = LineContents.size(), OutCol = 0; i != e; ++i) {
343*0b57cec5SDimitry Andric     size_t NextTab = LineContents.find('\t', i);
344*0b57cec5SDimitry Andric     // If there were no tabs left, print the rest, we are done.
345*0b57cec5SDimitry Andric     if (NextTab == StringRef::npos) {
346*0b57cec5SDimitry Andric       S << LineContents.drop_front(i);
347*0b57cec5SDimitry Andric       break;
348*0b57cec5SDimitry Andric     }
349*0b57cec5SDimitry Andric 
350*0b57cec5SDimitry Andric     // Otherwise, print from i to NextTab.
351*0b57cec5SDimitry Andric     S << LineContents.slice(i, NextTab);
352*0b57cec5SDimitry Andric     OutCol += NextTab - i;
353*0b57cec5SDimitry Andric     i = NextTab;
354*0b57cec5SDimitry Andric 
355*0b57cec5SDimitry Andric     // If we have a tab, emit at least one space, then round up to 8 columns.
356*0b57cec5SDimitry Andric     do {
357*0b57cec5SDimitry Andric       S << ' ';
358*0b57cec5SDimitry Andric       ++OutCol;
359*0b57cec5SDimitry Andric     } while ((OutCol % TabStop) != 0);
360*0b57cec5SDimitry Andric   }
361*0b57cec5SDimitry Andric   S << '\n';
362*0b57cec5SDimitry Andric }
363*0b57cec5SDimitry Andric 
364*0b57cec5SDimitry Andric static bool isNonASCII(char c) {
365*0b57cec5SDimitry Andric   return c & 0x80;
366*0b57cec5SDimitry Andric }
367*0b57cec5SDimitry Andric 
368*0b57cec5SDimitry Andric void SMDiagnostic::print(const char *ProgName, raw_ostream &OS,
369*0b57cec5SDimitry Andric                          bool ShowColors, bool ShowKindLabel) const {
370*0b57cec5SDimitry Andric   {
371*0b57cec5SDimitry Andric     WithColor S(OS, raw_ostream::SAVEDCOLOR, true, false, !ShowColors);
372*0b57cec5SDimitry Andric 
373*0b57cec5SDimitry Andric     if (ProgName && ProgName[0])
374*0b57cec5SDimitry Andric       S << ProgName << ": ";
375*0b57cec5SDimitry Andric 
376*0b57cec5SDimitry Andric     if (!Filename.empty()) {
377*0b57cec5SDimitry Andric       if (Filename == "-")
378*0b57cec5SDimitry Andric         S << "<stdin>";
379*0b57cec5SDimitry Andric       else
380*0b57cec5SDimitry Andric         S << Filename;
381*0b57cec5SDimitry Andric 
382*0b57cec5SDimitry Andric       if (LineNo != -1) {
383*0b57cec5SDimitry Andric         S << ':' << LineNo;
384*0b57cec5SDimitry Andric         if (ColumnNo != -1)
385*0b57cec5SDimitry Andric           S << ':' << (ColumnNo + 1);
386*0b57cec5SDimitry Andric       }
387*0b57cec5SDimitry Andric       S << ": ";
388*0b57cec5SDimitry Andric     }
389*0b57cec5SDimitry Andric   }
390*0b57cec5SDimitry Andric 
391*0b57cec5SDimitry Andric   if (ShowKindLabel) {
392*0b57cec5SDimitry Andric     switch (Kind) {
393*0b57cec5SDimitry Andric     case SourceMgr::DK_Error:
394*0b57cec5SDimitry Andric       WithColor::error(OS, "", !ShowColors);
395*0b57cec5SDimitry Andric       break;
396*0b57cec5SDimitry Andric     case SourceMgr::DK_Warning:
397*0b57cec5SDimitry Andric       WithColor::warning(OS, "", !ShowColors);
398*0b57cec5SDimitry Andric       break;
399*0b57cec5SDimitry Andric     case SourceMgr::DK_Note:
400*0b57cec5SDimitry Andric       WithColor::note(OS, "", !ShowColors);
401*0b57cec5SDimitry Andric       break;
402*0b57cec5SDimitry Andric     case SourceMgr::DK_Remark:
403*0b57cec5SDimitry Andric       WithColor::remark(OS, "", !ShowColors);
404*0b57cec5SDimitry Andric       break;
405*0b57cec5SDimitry Andric     }
406*0b57cec5SDimitry Andric   }
407*0b57cec5SDimitry Andric 
408*0b57cec5SDimitry Andric   WithColor(OS, raw_ostream::SAVEDCOLOR, true, false, !ShowColors)
409*0b57cec5SDimitry Andric       << Message << '\n';
410*0b57cec5SDimitry Andric 
411*0b57cec5SDimitry Andric   if (LineNo == -1 || ColumnNo == -1)
412*0b57cec5SDimitry Andric     return;
413*0b57cec5SDimitry Andric 
414*0b57cec5SDimitry Andric   // FIXME: If there are multibyte or multi-column characters in the source, all
415*0b57cec5SDimitry Andric   // our ranges will be wrong. To do this properly, we'll need a byte-to-column
416*0b57cec5SDimitry Andric   // map like Clang's TextDiagnostic. For now, we'll just handle tabs by
417*0b57cec5SDimitry Andric   // expanding them later, and bail out rather than show incorrect ranges and
418*0b57cec5SDimitry Andric   // misaligned fixits for any other odd characters.
419*0b57cec5SDimitry Andric   if (find_if(LineContents, isNonASCII) != LineContents.end()) {
420*0b57cec5SDimitry Andric     printSourceLine(OS, LineContents);
421*0b57cec5SDimitry Andric     return;
422*0b57cec5SDimitry Andric   }
423*0b57cec5SDimitry Andric   size_t NumColumns = LineContents.size();
424*0b57cec5SDimitry Andric 
425*0b57cec5SDimitry Andric   // Build the line with the caret and ranges.
426*0b57cec5SDimitry Andric   std::string CaretLine(NumColumns+1, ' ');
427*0b57cec5SDimitry Andric 
428*0b57cec5SDimitry Andric   // Expand any ranges.
429*0b57cec5SDimitry Andric   for (unsigned r = 0, e = Ranges.size(); r != e; ++r) {
430*0b57cec5SDimitry Andric     std::pair<unsigned, unsigned> R = Ranges[r];
431*0b57cec5SDimitry Andric     std::fill(&CaretLine[R.first],
432*0b57cec5SDimitry Andric               &CaretLine[std::min((size_t)R.second, CaretLine.size())],
433*0b57cec5SDimitry Andric               '~');
434*0b57cec5SDimitry Andric   }
435*0b57cec5SDimitry Andric 
436*0b57cec5SDimitry Andric   // Add any fix-its.
437*0b57cec5SDimitry Andric   // FIXME: Find the beginning of the line properly for multibyte characters.
438*0b57cec5SDimitry Andric   std::string FixItInsertionLine;
439*0b57cec5SDimitry Andric   buildFixItLine(CaretLine, FixItInsertionLine, FixIts,
440*0b57cec5SDimitry Andric                  makeArrayRef(Loc.getPointer() - ColumnNo,
441*0b57cec5SDimitry Andric                               LineContents.size()));
442*0b57cec5SDimitry Andric 
443*0b57cec5SDimitry Andric   // Finally, plop on the caret.
444*0b57cec5SDimitry Andric   if (unsigned(ColumnNo) <= NumColumns)
445*0b57cec5SDimitry Andric     CaretLine[ColumnNo] = '^';
446*0b57cec5SDimitry Andric   else
447*0b57cec5SDimitry Andric     CaretLine[NumColumns] = '^';
448*0b57cec5SDimitry Andric 
449*0b57cec5SDimitry Andric   // ... and remove trailing whitespace so the output doesn't wrap for it.  We
450*0b57cec5SDimitry Andric   // know that the line isn't completely empty because it has the caret in it at
451*0b57cec5SDimitry Andric   // least.
452*0b57cec5SDimitry Andric   CaretLine.erase(CaretLine.find_last_not_of(' ')+1);
453*0b57cec5SDimitry Andric 
454*0b57cec5SDimitry Andric   printSourceLine(OS, LineContents);
455*0b57cec5SDimitry Andric 
456*0b57cec5SDimitry Andric   {
457*0b57cec5SDimitry Andric     WithColor S(OS, raw_ostream::GREEN, true, false, !ShowColors);
458*0b57cec5SDimitry Andric 
459*0b57cec5SDimitry Andric     // Print out the caret line, matching tabs in the source line.
460*0b57cec5SDimitry Andric     for (unsigned i = 0, e = CaretLine.size(), OutCol = 0; i != e; ++i) {
461*0b57cec5SDimitry Andric       if (i >= LineContents.size() || LineContents[i] != '\t') {
462*0b57cec5SDimitry Andric         S << CaretLine[i];
463*0b57cec5SDimitry Andric         ++OutCol;
464*0b57cec5SDimitry Andric         continue;
465*0b57cec5SDimitry Andric       }
466*0b57cec5SDimitry Andric 
467*0b57cec5SDimitry Andric       // Okay, we have a tab.  Insert the appropriate number of characters.
468*0b57cec5SDimitry Andric       do {
469*0b57cec5SDimitry Andric         S << CaretLine[i];
470*0b57cec5SDimitry Andric         ++OutCol;
471*0b57cec5SDimitry Andric       } while ((OutCol % TabStop) != 0);
472*0b57cec5SDimitry Andric     }
473*0b57cec5SDimitry Andric     S << '\n';
474*0b57cec5SDimitry Andric   }
475*0b57cec5SDimitry Andric 
476*0b57cec5SDimitry Andric   // Print out the replacement line, matching tabs in the source line.
477*0b57cec5SDimitry Andric   if (FixItInsertionLine.empty())
478*0b57cec5SDimitry Andric     return;
479*0b57cec5SDimitry Andric 
480*0b57cec5SDimitry Andric   for (size_t i = 0, e = FixItInsertionLine.size(), OutCol = 0; i < e; ++i) {
481*0b57cec5SDimitry Andric     if (i >= LineContents.size() || LineContents[i] != '\t') {
482*0b57cec5SDimitry Andric       OS << FixItInsertionLine[i];
483*0b57cec5SDimitry Andric       ++OutCol;
484*0b57cec5SDimitry Andric       continue;
485*0b57cec5SDimitry Andric     }
486*0b57cec5SDimitry Andric 
487*0b57cec5SDimitry Andric     // Okay, we have a tab.  Insert the appropriate number of characters.
488*0b57cec5SDimitry Andric     do {
489*0b57cec5SDimitry Andric       OS << FixItInsertionLine[i];
490*0b57cec5SDimitry Andric       // FIXME: This is trying not to break up replacements, but then to re-sync
491*0b57cec5SDimitry Andric       // with the tabs between replacements. This will fail, though, if two
492*0b57cec5SDimitry Andric       // fix-it replacements are exactly adjacent, or if a fix-it contains a
493*0b57cec5SDimitry Andric       // space. Really we should be precomputing column widths, which we'll
494*0b57cec5SDimitry Andric       // need anyway for multibyte chars.
495*0b57cec5SDimitry Andric       if (FixItInsertionLine[i] != ' ')
496*0b57cec5SDimitry Andric         ++i;
497*0b57cec5SDimitry Andric       ++OutCol;
498*0b57cec5SDimitry Andric     } while (((OutCol % TabStop) != 0) && i != e);
499*0b57cec5SDimitry Andric   }
500*0b57cec5SDimitry Andric   OS << '\n';
501*0b57cec5SDimitry Andric }
502