freebsd_amp_hwpstate/include/clang/Basic/PartialDiagnostic.h

343 lines
11 KiB
C
Raw Normal View History

2010-02-16 09:31:36 +00:00
//===--- PartialDiagnostic.h - Diagnostic "closures" ------------*- C++ -*-===//
2009-10-14 18:03:49 +00:00
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This file implements a partial diagnostic that can be emitted anwyhere
// in a DiagnosticBuilder stream.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_CLANG_PARTIALDIAGNOSTIC_H
#define LLVM_CLANG_PARTIALDIAGNOSTIC_H
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Support/DataTypes.h"
2010-04-02 08:55:10 +00:00
#include <cassert>
2009-10-14 18:03:49 +00:00
namespace clang {
class PartialDiagnostic {
2010-04-02 08:55:10 +00:00
public:
2009-10-14 18:03:49 +00:00
struct Storage {
2010-04-02 08:55:10 +00:00
Storage() : NumDiagArgs(0), NumDiagRanges(0), NumFixItHints(0) { }
2009-10-14 18:03:49 +00:00
enum {
/// MaxArguments - The maximum number of arguments we can hold. We
/// currently only support up to 10 arguments (%0-%9).
/// A single diagnostic with more than that almost certainly has to
/// be simplified anyway.
MaxArguments = 10
};
/// NumDiagArgs - This contains the number of entries in Arguments.
unsigned char NumDiagArgs;
/// NumDiagRanges - This is the number of ranges in the DiagRanges array.
unsigned char NumDiagRanges;
2010-01-15 15:39:40 +00:00
/// \brief The number of code modifications hints in the
2010-04-02 08:55:10 +00:00
/// FixItHints array.
unsigned char NumFixItHints;
2010-01-15 15:39:40 +00:00
2009-10-14 18:03:49 +00:00
/// DiagArgumentsKind - This is an array of ArgumentKind::ArgumentKind enum
/// values, with one for each argument. This specifies whether the argument
/// is in DiagArgumentsStr or in DiagArguments.
unsigned char DiagArgumentsKind[MaxArguments];
/// DiagArgumentsVal - The values for the various substitution positions.
/// This is used when the argument is not an std::string. The specific value
/// is mangled into an intptr_t and the intepretation depends on exactly
/// what sort of argument kind it is.
2009-12-15 18:49:47 +00:00
intptr_t DiagArgumentsVal[MaxArguments];
2009-10-14 18:03:49 +00:00
/// \brief The values for the various substitution positions that have
/// string arguments.
std::string DiagArgumentsStr[MaxArguments];
2009-10-14 18:03:49 +00:00
/// DiagRanges - The list of ranges added to this diagnostic. It currently
/// only support 10 ranges, could easily be extended if needed.
2010-07-13 17:21:42 +00:00
CharSourceRange DiagRanges[10];
2010-01-15 15:39:40 +00:00
2010-04-02 08:55:10 +00:00
enum { MaxFixItHints = 3 };
2010-01-15 15:39:40 +00:00
2010-04-02 08:55:10 +00:00
/// FixItHints - If valid, provides a hint with some code
2010-01-15 15:39:40 +00:00
/// to insert, remove, or modify at a particular position.
2010-04-02 08:55:10 +00:00
FixItHint FixItHints[MaxFixItHints];
2009-10-14 18:03:49 +00:00
};
2010-04-02 08:55:10 +00:00
/// \brief An allocator for Storage objects, which uses a small cache to
/// objects, used to reduce malloc()/free() traffic for partial diagnostics.
class StorageAllocator {
static const unsigned NumCached = 16;
2010-04-02 08:55:10 +00:00
Storage Cached[NumCached];
Storage *FreeList[NumCached];
unsigned NumFreeListEntries;
public:
StorageAllocator();
~StorageAllocator();
/// \brief Allocate new storage.
Storage *Allocate() {
if (NumFreeListEntries == 0)
return new Storage;
Storage *Result = FreeList[--NumFreeListEntries];
Result->NumDiagArgs = 0;
Result->NumDiagRanges = 0;
Result->NumFixItHints = 0;
return Result;
}
/// \brief Free the given storage object.
void Deallocate(Storage *S) {
if (S >= Cached && S <= Cached + NumCached) {
FreeList[NumFreeListEntries++] = S;
return;
}
delete S;
}
};
private:
2010-03-16 16:52:15 +00:00
// NOTE: Sema assumes that PartialDiagnostic is location-invariant
// in the sense that its bits can be safely memcpy'ed and destructed
// in the new location.
2009-10-14 18:03:49 +00:00
/// DiagID - The diagnostic ID.
mutable unsigned DiagID;
2010-04-02 08:55:10 +00:00
/// DiagStorage - Storage for args and ranges.
2009-10-14 18:03:49 +00:00
mutable Storage *DiagStorage;
2010-04-02 08:55:10 +00:00
/// \brief Allocator used to allocate storage for this diagnostic.
StorageAllocator *Allocator;
/// \brief Retrieve storage for this particular diagnostic.
Storage *getStorage() const {
if (DiagStorage)
return DiagStorage;
if (Allocator)
DiagStorage = Allocator->Allocate();
else {
assert(Allocator != reinterpret_cast<StorageAllocator *>(~uintptr_t(0)));
2009-10-14 18:03:49 +00:00
DiagStorage = new Storage;
2010-04-02 08:55:10 +00:00
}
return DiagStorage;
}
void freeStorage() {
if (!DiagStorage)
return;
2009-10-14 18:03:49 +00:00
2010-04-02 08:55:10 +00:00
if (Allocator)
Allocator->Deallocate(DiagStorage);
else if (Allocator != reinterpret_cast<StorageAllocator *>(~uintptr_t(0)))
delete DiagStorage;
DiagStorage = 0;
2009-10-14 18:03:49 +00:00
}
2010-04-02 08:55:10 +00:00
2010-07-13 17:21:42 +00:00
void AddSourceRange(const CharSourceRange &R) const {
2009-10-14 18:03:49 +00:00
if (!DiagStorage)
2010-04-02 08:55:10 +00:00
DiagStorage = getStorage();
2009-10-14 18:03:49 +00:00
assert(DiagStorage->NumDiagRanges <
llvm::array_lengthof(DiagStorage->DiagRanges) &&
"Too many arguments to diagnostic!");
2009-12-15 18:49:47 +00:00
DiagStorage->DiagRanges[DiagStorage->NumDiagRanges++] = R;
2009-10-14 18:03:49 +00:00
}
2010-04-02 08:55:10 +00:00
void AddFixItHint(const FixItHint &Hint) const {
2010-01-15 15:39:40 +00:00
if (Hint.isNull())
return;
if (!DiagStorage)
2010-04-02 08:55:10 +00:00
DiagStorage = getStorage();
2010-01-15 15:39:40 +00:00
2010-04-02 08:55:10 +00:00
assert(DiagStorage->NumFixItHints < Storage::MaxFixItHints &&
2010-01-15 15:39:40 +00:00
"Too many code modification hints!");
2010-04-02 08:55:10 +00:00
DiagStorage->FixItHints[DiagStorage->NumFixItHints++]
2010-01-15 15:39:40 +00:00
= Hint;
}
2009-10-14 18:03:49 +00:00
public:
2010-04-02 08:55:10 +00:00
PartialDiagnostic(unsigned DiagID, StorageAllocator &Allocator)
: DiagID(DiagID), DiagStorage(0), Allocator(&Allocator) { }
2009-10-14 18:03:49 +00:00
PartialDiagnostic(const PartialDiagnostic &Other)
2010-04-02 08:55:10 +00:00
: DiagID(Other.DiagID), DiagStorage(0), Allocator(Other.Allocator)
2009-12-15 18:49:47 +00:00
{
2010-04-02 08:55:10 +00:00
if (Other.DiagStorage) {
DiagStorage = getStorage();
*DiagStorage = *Other.DiagStorage;
}
2009-12-15 18:49:47 +00:00
}
2010-04-02 08:55:10 +00:00
PartialDiagnostic(const PartialDiagnostic &Other, Storage *DiagStorage)
: DiagID(Other.DiagID), DiagStorage(DiagStorage),
Allocator(reinterpret_cast<StorageAllocator *>(~uintptr_t(0)))
{
if (Other.DiagStorage)
*this->DiagStorage = *Other.DiagStorage;
}
PartialDiagnostic(const DiagnosticInfo &Other, StorageAllocator &Allocator)
: DiagID(Other.getID()), DiagStorage(0), Allocator(&Allocator)
{
// Copy arguments.
for (unsigned I = 0, N = Other.getNumArgs(); I != N; ++I) {
if (Other.getArgKind(I) == Diagnostic::ak_std_string)
AddString(Other.getArgStdStr(I));
else
AddTaggedVal(Other.getRawArg(I), Other.getArgKind(I));
}
// Copy source ranges.
for (unsigned I = 0, N = Other.getNumRanges(); I != N; ++I)
AddSourceRange(Other.getRange(I));
// Copy fix-its.
for (unsigned I = 0, N = Other.getNumFixItHints(); I != N; ++I)
AddFixItHint(Other.getFixItHint(I));
}
2009-12-15 18:49:47 +00:00
PartialDiagnostic &operator=(const PartialDiagnostic &Other) {
DiagID = Other.DiagID;
if (Other.DiagStorage) {
2010-04-02 08:55:10 +00:00
if (!DiagStorage)
DiagStorage = getStorage();
*DiagStorage = *Other.DiagStorage;
2009-12-15 18:49:47 +00:00
} else {
2010-04-02 08:55:10 +00:00
freeStorage();
2009-12-15 18:49:47 +00:00
}
return *this;
2009-10-14 18:03:49 +00:00
}
~PartialDiagnostic() {
2010-04-02 08:55:10 +00:00
freeStorage();
2009-10-14 18:03:49 +00:00
}
unsigned getDiagID() const { return DiagID; }
2010-04-02 08:55:10 +00:00
void AddTaggedVal(intptr_t V, Diagnostic::ArgumentKind Kind) const {
if (!DiagStorage)
DiagStorage = getStorage();
assert(DiagStorage->NumDiagArgs < Storage::MaxArguments &&
"Too many arguments to diagnostic!");
DiagStorage->DiagArgumentsKind[DiagStorage->NumDiagArgs] = Kind;
DiagStorage->DiagArgumentsVal[DiagStorage->NumDiagArgs++] = V;
}
void AddString(llvm::StringRef V) const {
if (!DiagStorage)
DiagStorage = getStorage();
assert(DiagStorage->NumDiagArgs < Storage::MaxArguments &&
"Too many arguments to diagnostic!");
DiagStorage->DiagArgumentsKind[DiagStorage->NumDiagArgs]
= Diagnostic::ak_std_string;
DiagStorage->DiagArgumentsStr[DiagStorage->NumDiagArgs++] = V;
}
2009-10-14 18:03:49 +00:00
void Emit(const DiagnosticBuilder &DB) const {
if (!DiagStorage)
return;
// Add all arguments.
for (unsigned i = 0, e = DiagStorage->NumDiagArgs; i != e; ++i) {
if ((Diagnostic::ArgumentKind)DiagStorage->DiagArgumentsKind[i]
== Diagnostic::ak_std_string)
DB.AddString(DiagStorage->DiagArgumentsStr[i]);
else
DB.AddTaggedVal(DiagStorage->DiagArgumentsVal[i],
2009-11-04 15:04:32 +00:00
(Diagnostic::ArgumentKind)DiagStorage->DiagArgumentsKind[i]);
2009-10-14 18:03:49 +00:00
}
// Add all ranges.
for (unsigned i = 0, e = DiagStorage->NumDiagRanges; i != e; ++i)
2009-12-15 18:49:47 +00:00
DB.AddSourceRange(DiagStorage->DiagRanges[i]);
2010-01-15 15:39:40 +00:00
// Add all fix-its.
2010-04-02 08:55:10 +00:00
for (unsigned i = 0, e = DiagStorage->NumFixItHints; i != e; ++i)
DB.AddFixItHint(DiagStorage->FixItHints[i]);
2009-10-14 18:03:49 +00:00
}
2010-04-02 08:55:10 +00:00
/// \brief Clear out this partial diagnostic, giving it a new diagnostic ID
/// and removing all of its arguments, ranges, and fix-it hints.
void Reset(unsigned DiagID = 0) {
this->DiagID = DiagID;
freeStorage();
2009-10-14 18:03:49 +00:00
}
2010-04-02 08:55:10 +00:00
bool hasStorage() const { return DiagStorage != 0; }
2009-10-14 18:03:49 +00:00
friend const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
unsigned I) {
PD.AddTaggedVal(I, Diagnostic::ak_uint);
return PD;
}
2009-11-04 15:04:32 +00:00
friend const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
int I) {
PD.AddTaggedVal(I, Diagnostic::ak_sint);
return PD;
}
friend inline const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
const char *S) {
PD.AddTaggedVal(reinterpret_cast<intptr_t>(S), Diagnostic::ak_c_string);
return PD;
}
friend inline const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
llvm::StringRef S) {
PD.AddString(S);
return PD;
}
2009-10-14 18:03:49 +00:00
friend inline const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
const SourceRange &R) {
2010-07-13 17:21:42 +00:00
PD.AddSourceRange(CharSourceRange::getTokenRange(R));
2009-10-14 18:03:49 +00:00
return PD;
}
2009-11-04 15:04:32 +00:00
2010-07-13 17:21:42 +00:00
friend inline const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
const CharSourceRange &R) {
PD.AddSourceRange(R);
return PD;
}
2009-10-14 18:03:49 +00:00
friend const PartialDiagnostic &operator<<(const PartialDiagnostic &PD,
2010-04-02 08:55:10 +00:00
const FixItHint &Hint) {
PD.AddFixItHint(Hint);
2010-01-15 15:39:40 +00:00
return PD;
}
2009-10-14 18:03:49 +00:00
};
inline const DiagnosticBuilder &operator<<(const DiagnosticBuilder &DB,
const PartialDiagnostic &PD) {
PD.Emit(DB);
return DB;
}
/// \brief A partial diagnostic along with the source location where this
/// diagnostic occurs.
typedef std::pair<SourceLocation, PartialDiagnostic> PartialDiagnosticAt;
2009-10-14 18:03:49 +00:00
} // end namespace clang
2010-04-02 08:55:10 +00:00
#endif