diff options
Diffstat (limited to 'contrib/llvm-project/clang/lib/AST/Interp/Function.cpp')
-rw-r--r-- | contrib/llvm-project/clang/lib/AST/Interp/Function.cpp | 30 |
1 files changed, 17 insertions, 13 deletions
diff --git a/contrib/llvm-project/clang/lib/AST/Interp/Function.cpp b/contrib/llvm-project/clang/lib/AST/Interp/Function.cpp index 0ed13a92aa38..00f5a1fced53 100644 --- a/contrib/llvm-project/clang/lib/AST/Interp/Function.cpp +++ b/contrib/llvm-project/clang/lib/AST/Interp/Function.cpp @@ -7,23 +7,25 @@ //===----------------------------------------------------------------------===// #include "Function.h" -#include "Program.h" #include "Opcode.h" +#include "Program.h" #include "clang/AST/Decl.h" #include "clang/AST/DeclCXX.h" +#include "clang/Basic/Builtins.h" using namespace clang; using namespace clang::interp; Function::Function(Program &P, const FunctionDecl *F, unsigned ArgSize, - llvm::SmallVector<PrimType, 8> &&ParamTypes, - llvm::DenseMap<unsigned, ParamDescriptor> &&Params) + llvm::SmallVectorImpl<PrimType> &&ParamTypes, + llvm::DenseMap<unsigned, ParamDescriptor> &&Params, + llvm::SmallVectorImpl<unsigned> &&ParamOffsets, + bool HasThisPointer, bool HasRVO, bool UnevaluatedBuiltin) : P(P), Loc(F->getBeginLoc()), F(F), ArgSize(ArgSize), - ParamTypes(std::move(ParamTypes)), Params(std::move(Params)) {} - -CodePtr Function::getCodeBegin() const { return Code.data(); } - -CodePtr Function::getCodeEnd() const { return Code.data() + Code.size(); } + ParamTypes(std::move(ParamTypes)), Params(std::move(Params)), + ParamOffsets(std::move(ParamOffsets)), HasThisPointer(HasThisPointer), + HasRVO(HasRVO), Variadic(F->isVariadic()), + IsUnevaluatedBuiltin(UnevaluatedBuiltin) {} Function::ParamDescriptor Function::getParamDescriptor(unsigned Offset) const { auto It = Params.find(Offset); @@ -32,17 +34,19 @@ Function::ParamDescriptor Function::getParamDescriptor(unsigned Offset) const { } SourceInfo Function::getSource(CodePtr PC) const { + assert(PC >= getCodeBegin() && "PC does not belong to this function"); + assert(PC <= getCodeEnd() && "PC Does not belong to this function"); + assert(hasBody() && "Function has no body"); unsigned Offset = PC - getCodeBegin(); using Elem = std::pair<unsigned, SourceInfo>; - auto It = std::lower_bound(SrcMap.begin(), SrcMap.end(), Elem{Offset, {}}, - [](Elem A, Elem B) { return A.first < B.first; }); - if (It == SrcMap.end() || It->first != Offset) - llvm::report_fatal_error("missing source location"); + auto It = llvm::lower_bound(SrcMap, Elem{Offset, {}}, llvm::less_first()); + if (It == SrcMap.end()) + return SrcMap.back().second; return It->second; } bool Function::isVirtual() const { - if (auto *M = dyn_cast<CXXMethodDecl>(F)) + if (const auto *M = dyn_cast<CXXMethodDecl>(F)) return M->isVirtual(); return false; } |