clang 19.0.0git
Namespaces | Macros | Functions
Interp.cpp File Reference
#include "Interp.h"
#include "Function.h"
#include "InterpFrame.h"
#include "InterpShared.h"
#include "InterpStack.h"
#include "Opcode.h"
#include "PrimType.h"
#include "Program.h"
#include "State.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "llvm/ADT/APSInt.h"
#include <limits>
#include <vector>
#include "Opcodes.inc"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::interp
 

Macros

#define GET_INTERP
 

Functions

static bool RetValue (InterpState &S, CodePtr &Pt, APValue &Result)
 
static bool Jmp (InterpState &S, CodePtr &PC, int32_t Offset)
 
static bool Jt (InterpState &S, CodePtr &PC, int32_t Offset)
 
static bool Jf (InterpState &S, CodePtr &PC, int32_t Offset)
 
static void diagnoseMissingInitializer (InterpState &S, CodePtr OpPC, const ValueDecl *VD)
 
static void diagnoseNonConstVariable (InterpState &S, CodePtr OpPC, const ValueDecl *VD)
 
static bool diagnoseUnknownDecl (InterpState &S, CodePtr OpPC, const ValueDecl *D)
 
static bool CheckActive (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 
static bool CheckTemporary (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 
static bool CheckGlobal (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 
static void clang::interp::popArg (InterpState &S, const Expr *Arg)
 
void clang::interp::cleanupAfterFunctionCall (InterpState &S, CodePtr OpPC)
 
bool clang::interp::CheckExtern (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if the variable has externally defined storage.
 
bool clang::interp::CheckArray (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if the array is offsetable.
 
bool clang::interp::CheckLive (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 Checks if a pointer is live and accessible.
 
bool clang::interp::CheckConstant (InterpState &S, CodePtr OpPC, const Descriptor *Desc)
 Checks if the Descriptor is of a constexpr or const global variable.
 
static bool clang::interp::CheckConstant (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 
bool clang::interp::CheckNull (InterpState &S, CodePtr OpPC, const Pointer &Ptr, CheckSubobjectKind CSK)
 Checks if a pointer is null.
 
bool clang::interp::CheckRange (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 Checks if a pointer is in range.
 
bool clang::interp::CheckRange (InterpState &S, CodePtr OpPC, const Pointer &Ptr, CheckSubobjectKind CSK)
 Checks if a field from which a pointer is going to be derived is valid.
 
bool clang::interp::CheckSubobject (InterpState &S, CodePtr OpPC, const Pointer &Ptr, CheckSubobjectKind CSK)
 Checks if Ptr is a one-past-the-end pointer.
 
bool clang::interp::CheckConst (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a pointer points to const storage.
 
bool clang::interp::CheckMutable (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a pointer points to a mutable field.
 
bool clang::interp::CheckInitialized (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 
bool clang::interp::CheckGlobalInitialized (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Check if a global variable is initialized.
 
bool clang::interp::CheckLoad (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be loaded from a block.
 
bool clang::interp::CheckStore (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be stored in a block.
 
bool clang::interp::CheckInvoke (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a method can be invoked on an object.
 
bool clang::interp::CheckInit (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be initialized.
 
bool clang::interp::CheckCallable (InterpState &S, CodePtr OpPC, const Function *F)
 Checks if a method can be called.
 
bool clang::interp::CheckCallDepth (InterpState &S, CodePtr OpPC)
 Checks if calling the currently active function would exceed the allowed call depth.
 
bool clang::interp::CheckThis (InterpState &S, CodePtr OpPC, const Pointer &This)
 Checks the 'this' pointer.
 
bool clang::interp::CheckPure (InterpState &S, CodePtr OpPC, const CXXMethodDecl *MD)
 Checks if a method is pure virtual.
 
bool clang::interp::CheckFloatResult (InterpState &S, CodePtr OpPC, const Floating &Result, APFloat::opStatus Status)
 Checks if the result of a floating-point operation is valid in the current context.
 
bool clang::interp::CheckDeclRef (InterpState &S, CodePtr OpPC, const DeclRefExpr *DR)
 We aleady know the given DeclRefExpr is invalid for some reason, now figure out why and print appropriate diagnostics.
 
bool clang::interp::CheckDummy (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a pointer is a dummy pointer.
 
bool clang::interp::CheckNonNullArgs (InterpState &S, CodePtr OpPC, const Function *F, const CallExpr *CE, unsigned ArgSize)
 Checks if all the arguments annotated as 'nonnull' are in fact not null.
 
bool clang::interp::Interpret (InterpState &S, APValue &Result)
 Interpreter entry point.
 

Macro Definition Documentation

◆ GET_INTERP

#define GET_INTERP

Function Documentation

◆ CheckActive()

static bool CheckActive ( InterpState S,
CodePtr  OpPC,
const Pointer Ptr,
AccessKinds  AK 
)
static

◆ CheckGlobal()

static bool CheckGlobal ( InterpState S,
CodePtr  OpPC,
const Pointer Ptr 
)
static

◆ CheckTemporary()

static bool CheckTemporary ( InterpState S,
CodePtr  OpPC,
const Pointer Ptr,
AccessKinds  AK 
)
static

◆ diagnoseMissingInitializer()

static void diagnoseMissingInitializer ( InterpState S,
CodePtr  OpPC,
const ValueDecl VD 
)
static

◆ diagnoseNonConstVariable()

static void diagnoseNonConstVariable ( InterpState S,
CodePtr  OpPC,
const ValueDecl VD 
)
static

◆ diagnoseUnknownDecl()

static bool diagnoseUnknownDecl ( InterpState S,
CodePtr  OpPC,
const ValueDecl D 
)
static

◆ Jf()

static bool Jf ( InterpState S,
CodePtr PC,
int32_t  Offset 
)
static

Definition at line 52 of file Interp.cpp.

◆ Jmp()

static bool Jmp ( InterpState S,
CodePtr PC,
int32_t  Offset 
)
static

Definition at line 40 of file Interp.cpp.

◆ Jt()

static bool Jt ( InterpState S,
CodePtr PC,
int32_t  Offset 
)
static

Definition at line 45 of file Interp.cpp.

◆ RetValue()

static bool RetValue ( InterpState S,
CodePtr Pt,
APValue Result 
)
static

Definition at line 32 of file Interp.cpp.

Referenced by clang::ast_matchers::AST_MATCHER_P().