22 unsigned ExtraNotes) {
23 return diag(
Loc, DiagId, ExtraNotes,
false);
27 unsigned ExtraNotes) {
28 if (getEvalStatus().
Diag)
29 return diag(
E->
getExprLoc(), DiagId, ExtraNotes,
false);
30 setActiveDiagnostic(
false);
35 unsigned ExtraNotes) {
36 if (getEvalStatus().
Diag)
37 return diag(SI.
getLoc(), DiagId, ExtraNotes,
false);
38 setActiveDiagnostic(
false);
43 unsigned ExtraNotes) {
46 if (!getEvalStatus().
Diag || !getEvalStatus().
Diag->empty()) {
47 setActiveDiagnostic(
false);
50 return diag(
Loc, DiagId, ExtraNotes,
true);
54 unsigned ExtraNotes) {
55 return CCEDiag(
E->
getExprLoc(), DiagId, ExtraNotes);
59 unsigned ExtraNotes) {
60 return CCEDiag(SI.
getLoc(), DiagId, ExtraNotes);
64 if (!hasActiveDiagnostic())
70 if (hasActiveDiagnostic())
71 llvm::append_range(*getEvalStatus().
Diag, Diags);
75 return getASTContext().getDiagnostics().Report(
Loc, DiagId);
81 getEvalStatus().Diag->push_back(std::make_pair(
Loc, PD));
82 return getEvalStatus().Diag->back().second;
86 unsigned ExtraNotes,
bool IsCCEDiag) {
88 if (EvalStatus.
Diag) {
89 if (hasPriorDiagnostic()) {
93 unsigned CallStackNotes = getCallStackDepth() - 1;
95 getASTContext().getDiagnostics().getConstexprBacktraceLimit();
97 CallStackNotes = std::min(CallStackNotes, Limit + 1);
98 if (checkingPotentialConstantExpression())
101 setActiveDiagnostic(
true);
102 setFoldFailureDiagnostic(!IsCCEDiag);
103 EvalStatus.
Diag->clear();
104 EvalStatus.
Diag->reserve(1 + ExtraNotes + CallStackNotes);
105 addDiag(
Loc, DiagId);
106 if (!checkingPotentialConstantExpression()) {
111 setActiveDiagnostic(
false);
116 return getASTContext().getLangOpts();
119void State::addCallStack(
unsigned Limit) {
121 unsigned ActiveCalls = getCallStackDepth() - 1;
122 unsigned SkipStart = ActiveCalls, SkipEnd = SkipStart;
123 if (Limit && Limit < ActiveCalls) {
124 SkipStart = Limit / 2 + Limit % 2;
125 SkipEnd = ActiveCalls - Limit / 2;
129 unsigned CallIdx = 0;
130 const Frame *Top = getCurrentFrame();
131 const Frame *Bottom = getBottomFrame();
132 for (
const Frame *F = Top; F != Bottom; F = F->
getCaller(), ++CallIdx) {
137 if (CallIdx >= SkipStart && CallIdx < SkipEnd) {
138 if (CallIdx == SkipStart) {
140 addDiag(CallRange.
getBegin(), diag::note_constexpr_calls_suppressed)
149 dyn_cast_if_present<CXXConstructorDecl>(F->getCallee());
150 CD && CD->isInheritingConstructor()) {
152 diag::note_constexpr_inherited_ctor_call_here)
158 llvm::raw_svector_ostream Out(Buffer);
161 addDiag(CallRange.
getBegin(), diag::note_constexpr_call_here)
162 << Out.str() << CallRange;
Defines the clang::ASTContext interface.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
Implements a partial diagnostic which may not be emitted.
A little helper class used to produce diagnostics.
This represents one expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
A partial diagnostic which we might know in advance that we are not going to emit.
Encodes a location in the source.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
Base class for stack frames, shared between VM and walker.
virtual Frame * getCaller() const =0
Returns a pointer to the caller frame.
Describes the statement/declaration an opcode was generated from.
SourceLocation getLoc() const
The JSON file list parser is used to communicate input to InstallAPI.
EvalStatus is a struct with detailed info about an evaluation in progress.
SmallVectorImpl< PartialDiagnosticAt > * Diag
Diag - If this is non-null, it will be filled in with a stack of notes indicating why evaluation fail...