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/DeclObjC.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

 clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
 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. More...
 
bool clang::interp::CheckArray (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if the array is offsetable. More...
 
bool clang::interp::CheckLive (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 Checks if a pointer is live and accessible. More...
 
bool clang::interp::CheckConstant (InterpState &S, CodePtr OpPC, const Descriptor *Desc)
 Checks if the Descriptor is of a constexpr or const global variable. More...
 
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. More...
 
bool clang::interp::CheckRange (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 Checks if a pointer is in range. More...
 
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. More...
 
bool clang::interp::CheckSubobject (InterpState &S, CodePtr OpPC, const Pointer &Ptr, CheckSubobjectKind CSK)
 Checks if Ptr is a one-past-the-end pointer. More...
 
bool clang::interp::CheckConst (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a pointer points to const storage. More...
 
bool clang::interp::CheckMutable (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a pointer points to a mutable field. More...
 
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. More...
 
bool clang::interp::CheckLoad (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be loaded from a block. More...
 
bool clang::interp::CheckStore (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be stored in a block. More...
 
bool clang::interp::CheckInvoke (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a method can be invoked on an object. More...
 
bool clang::interp::CheckInit (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
 Checks if a value can be initialized. More...
 
bool clang::interp::CheckCallable (InterpState &S, CodePtr OpPC, const Function *F)
 Checks if a method can be called. More...
 
bool clang::interp::CheckCallDepth (InterpState &S, CodePtr OpPC)
 Checks if calling the currently active function would exceed the allowed call depth. More...
 
bool clang::interp::CheckThis (InterpState &S, CodePtr OpPC, const Pointer &This)
 Checks the 'this' pointer. More...
 
bool clang::interp::CheckPure (InterpState &S, CodePtr OpPC, const CXXMethodDecl *MD)
 Checks if a method is pure virtual. More...
 
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. More...
 
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. More...
 
bool clang::interp::CheckDummy (InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
 Checks if a pointer is a dummy pointer. More...
 
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. More...
 
bool clang::interp::Interpret (InterpState &S, APValue &Result)
 Interpreter entry point. More...
 

Macro Definition Documentation

◆ GET_INTERP

#define GET_INTERP

Function Documentation

◆ CheckActive()

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

Definition at line 124 of file Interp.cpp.

◆ CheckGlobal()

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

Definition at line 176 of file Interp.cpp.

◆ CheckTemporary()

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

Definition at line 156 of file Interp.cpp.

◆ diagnoseMissingInitializer()

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

Definition at line 60 of file Interp.cpp.

◆ diagnoseNonConstVariable()

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

Definition at line 92 of file Interp.cpp.

◆ diagnoseUnknownDecl()

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

Definition at line 69 of file Interp.cpp.

◆ Jf()

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

Definition at line 53 of file Interp.cpp.

◆ Jmp()

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

Definition at line 41 of file Interp.cpp.

◆ Jt()

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

Definition at line 46 of file Interp.cpp.

◆ RetValue()

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

Definition at line 33 of file Interp.cpp.