File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/clang/lib/AST/Interp

usr / src / contrib / llvm-project / clang / lib / AST / Interp /

📁 ..
📄 Boolean.h(4.12 KB)
📄 ByteCodeEmitter.cpp(5.38 KB)
📄 ByteCodeEmitter.h(3.13 KB)
📄 ByteCodeExprGen.cpp(16.6 KB)
📄 ByteCodeExprGen.h(10.2 KB)
📄 ByteCodeGenError.cpp(483 B)
📄 ByteCodeGenError.h(1.36 KB)
📄 ByteCodeStmtGen.cpp(7.21 KB)
📄 ByteCodeStmtGen.h(2.39 KB)
📄 Context.cpp(3.28 KB)
📄 Context.h(2.39 KB)
📄 Descriptor.cpp(10.31 KB)
📄 Descriptor.h(7.82 KB)
📄 Disasm.cpp(1.95 KB)
📄 EvalEmitter.cpp(7.6 KB)
📄 EvalEmitter.h(3.7 KB)
📄 Frame.cpp(464 B)
📄 Frame.h(1.28 KB)
📄 Function.cpp(1.73 KB)
📄 Function.h(4.91 KB)
📄 Integral.h(8.38 KB)
📄 Interp.cpp(11.54 KB)
📄 Interp.h(30.64 KB)
📄 InterpBlock.cpp(1.91 KB)
📄 InterpBlock.h(4.11 KB)
📄 InterpFrame.cpp(5.32 KB)
📄 InterpFrame.h(4.54 KB)
📄 InterpStack.cpp(1.81 KB)
📄 InterpStack.h(3.43 KB)
📄 InterpState.cpp(2.03 KB)
📄 InterpState.h(3.29 KB)
📄 Opcode.h(817 B)
📄 Opcodes.td(11.02 KB)
📄 Pointer.cpp(4.97 KB)
📄 Pointer.h(11.08 KB)
📄 PrimType.cpp(648 B)
📄 PrimType.h(4.66 KB)
📄 Program.cpp(11.29 KB)
📄 Program.h(6.66 KB)
📄 Record.cpp(1.54 KB)
📄 Record.h(3.76 KB)
📄 Source.cpp(1.15 KB)
📄 Source.h(3.25 KB)
📄 State.cpp(5.34 KB)
📄 State.h(4.01 KB)

Editing: State.h

//===--- State.h - State chain for the VM and AST Walker --------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// Defines the base class of the interpreter and evaluator state.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CLANG_AST_INTERP_STATE_H
#define LLVM_CLANG_AST_INTERP_STATE_H

#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/Expr.h"
#include "clang/AST/OptionalDiagnostic.h"

namespace clang {

/// Kinds of access we can perform on an object, for diagnostics. Note that
/// we consider a member function call to be a kind of access, even though
/// it is not formally an access of the object, because it has (largely) the
/// same set of semantic restrictions.
enum AccessKinds {
  AK_Read,
  AK_ReadObjectRepresentation,
  AK_Assign,
  AK_Increment,
  AK_Decrement,
  AK_MemberCall,
  AK_DynamicCast,
  AK_TypeId,
  AK_Construct,
  AK_Destroy,
};

// The order of this enum is important for diagnostics.
enum CheckSubobjectKind {
  CSK_Base,
  CSK_Derived,
  CSK_Field,
  CSK_ArrayToPointer,
  CSK_ArrayIndex,
  CSK_Real,
  CSK_Imag
};

namespace interp {
class Frame;
class SourceInfo;

/// Interface for the VM to interact with the AST walker's context.
class State {
public:
  virtual ~State();

virtual bool checkingForUndefinedBehavior() const = 0;
  virtual bool checkingPotentialConstantExpression() const = 0;
  virtual bool noteUndefinedBehavior() = 0;
  virtual bool keepEvaluatingAfterFailure() const = 0;
  virtual Frame *getCurrentFrame() = 0;
  virtual const Frame *getBottomFrame() const = 0;
  virtual bool hasActiveDiagnostic() = 0;
  virtual void setActiveDiagnostic(bool Flag) = 0;
  virtual void setFoldFailureDiagnostic(bool Flag) = 0;
  virtual Expr::EvalStatus &getEvalStatus() const = 0;
  virtual ASTContext &getCtx() const = 0;
  virtual bool hasPriorDiagnostic() = 0;
  virtual unsigned getCallStackDepth() = 0;

public:
  // Diagnose that the evaluation could not be folded (FF => FoldFailure)
  OptionalDiagnostic
  FFDiag(SourceLocation Loc,
         diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
         unsigned ExtraNotes = 0);

OptionalDiagnostic
  FFDiag(const Expr *E,
         diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
         unsigned ExtraNotes = 0);

OptionalDiagnostic
  FFDiag(const SourceInfo &SI,
         diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
         unsigned ExtraNotes = 0);

/// Diagnose that the evaluation does not produce a C++11 core constant
  /// expression.
  ///
  /// FIXME: Stop evaluating if we're in EM_ConstantExpression or
  /// EM_PotentialConstantExpression mode and we produce one of these.
  OptionalDiagnostic
  CCEDiag(SourceLocation Loc,
          diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
          unsigned ExtraNotes = 0);

OptionalDiagnostic
  CCEDiag(const Expr *E,
          diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
          unsigned ExtraNotes = 0);

OptionalDiagnostic
  CCEDiag(const SourceInfo &SI,
          diag::kind DiagId = diag::note_invalid_subexpr_in_const_expr,
          unsigned ExtraNotes = 0);

/// Add a note to a prior diagnostic.
  OptionalDiagnostic Note(SourceLocation Loc, diag::kind DiagId);

/// Add a stack of notes to a prior diagnostic.
  void addNotes(ArrayRef<PartialDiagnosticAt> Diags);

/// Directly reports a diagnostic message.
  DiagnosticBuilder report(SourceLocation Loc, diag::kind DiagId);

const LangOptions &getLangOpts() const;

private:
  void addCallStack(unsigned Limit);

PartialDiagnostic &addDiag(SourceLocation Loc, diag::kind DiagId);

OptionalDiagnostic diag(SourceLocation Loc, diag::kind DiagId,
                          unsigned ExtraNotes, bool IsCCEDiag);
};

} // namespace interp
} // namespace clang

#endif

003 File Manager

Editing: State.h

Upload File

Create Folder