#include "Interp.h"
#include <limits>
#include <vector>
#include "Function.h"
#include "InterpFrame.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 "Opcodes.inc"

Namespaces
namespace	clang

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 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)

bool	clang::interp::popBuiltinArgs (InterpState &S, CodePtr OpPC)
	Pop arguments of builtins defined as func-name(...).

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::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::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.

static void	clang::interp::DiagnoseUninitializedSubobject (InterpState &S, const SourceInfo &SI, const FieldDecl *SubObjDecl)

static bool	clang::interp::CheckFieldsInitialized (InterpState &S, CodePtr OpPC, const Pointer &BasePtr, const Record *R)

static bool	clang::interp::CheckArrayInitialized (InterpState &S, CodePtr OpPC, const Pointer &BasePtr, const ConstantArrayType *CAT)

bool	clang::interp::CheckCtorCall (InterpState &S, CodePtr OpPC, const Pointer &This)
	Checks that all fields are initialized after a constructor call.

bool	clang::interp::CheckPotentialReinterpretCast (InterpState &S, CodePtr OpPC, const Pointer &Ptr)
	Checks if reinterpret casts are legal in the current context.

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::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

Definition at line 56 of file Interp.cpp.

References clang::interp::Pointer::getBase(), clang::interp::Pointer::getField(), clang::interp::Record::getField(), clang::interp::Record::getNumFields(), clang::interp::Pointer::isActive(), clang::interp::Record::isUnion(), and clang::interp::Record::Field::Offset.

Referenced by clang::interp::CheckLoad().

◆ CheckGlobal()

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

static

Definition at line 108 of file Interp.cpp.

References clang::interp::Pointer::getDeclID(), and clang::interp::Pointer::isStatic().

Referenced by clang::interp::CheckStore().

◆ CheckTemporary()

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

static

Definition at line 88 of file Interp.cpp.

References clang::interp::Pointer::getDeclDesc(), clang::interp::Pointer::getDeclID(), clang::interp::Pointer::getDeclLoc(), clang::interp::Descriptor::getType(), clang::QualType::isConstQualified(), and clang::interp::Pointer::isStaticTemporary().

Referenced by clang::interp::CheckLoad().

◆ Jf()

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

static

Definition at line 49 of file Interp.cpp.

◆ Jmp()

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

static

Definition at line 37 of file Interp.cpp.

◆ Jt()

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

static

Definition at line 42 of file Interp.cpp.

◆ RetValue()

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

static

Definition at line 29 of file Interp.cpp.

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

Namespaces

Macros

Functions

Macro Definition Documentation

◆ GET_INTERP

Function Documentation

◆ CheckActive()

◆ CheckGlobal()

◆ CheckTemporary()

◆ Jf()

◆ Jmp()

◆ Jt()

◆ RetValue()