22#include "llvm/ADT/StringRef.h"
23#include "llvm/Support/FormatAdapters.h"
33 const std::string &
message, uint32_t loc,
35 : ErrorInfo(make_error_code(std::errc::invalid_argument)) {
37 FileSpec{}, 1,
static_cast<uint16_t
>(loc + 1),
38 err_len,
false,
true};
46 auto msg = llvm::formatv(
"<user expression>:1:{0}: {1}\n 1 | {2}\n |",
48 std::string rendered_str;
49 llvm::raw_string_ostream rendered_os(rendered_str);
50 rendered_os << msg.str();
51 rendered_os << llvm::indent(loc + 1) <<
"^";
54 rendered_os << std::string(err_len - 1,
'~');
59 m_detail.rendered = std::move(rendered_str);
66 llvm::StringRef name_ref(name);
68 if (name_ref.starts_with(
"::"))
69 name_ref = name_ref.drop_front(2);
71 std::vector<CompilerType> result_type_list;
73 if (!name_ref.empty() && target_sp) {
76 TypeQueryOptions::e_find_one};
78 images.
FindTypes(
nullptr, query, results);
81 result_type_list.push_back(type_sp->GetFullCompilerType());
84 if (!result_type_list.empty()) {
98 llvm::Error
error = llvm::Error::success();
99 DILParser parser(dil_input_expr, lexer, stack_frame, use_dynamic,
error,
103 assert(node_up &&
"ASTNodeUP must not contain a nullptr");
142 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
149 assert(true_op &&
"ASTNodeUP must not contain a nullptr");
153 assert(false_op &&
"ASTNodeUP must not contain a nullptr");
154 lhs = std::make_unique<ConditionalNode>(token.
GetLocation(), std::move(lhs),
156 std::move(false_op));
175 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
183 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
184 lhs = std::make_unique<BinaryOpNode>(
186 std::move(lhs), std::move(rhs));
198 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
204 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
205 lhs = std::make_unique<BinaryOpNode>(
207 std::move(lhs), std::move(rhs));
220 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
226 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
227 lhs = std::make_unique<BinaryOpNode>(
229 std::move(lhs), std::move(rhs));
242 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
248 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
249 lhs = std::make_unique<BinaryOpNode>(
251 std::move(lhs), std::move(rhs));
264 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
270 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
271 lhs = std::make_unique<BinaryOpNode>(
273 std::move(lhs), std::move(rhs));
286 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
291 BailOut(
"bitwise and (&) is allowed only in DIL full mode",
293 return std::make_unique<ErrorNode>();
297 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
298 lhs = std::make_unique<BinaryOpNode>(
300 std::move(lhs), std::move(rhs));
314 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
320 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
321 lhs = std::make_unique<BinaryOpNode>(
323 std::move(lhs), std::move(rhs));
339 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
346 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
347 lhs = std::make_unique<BinaryOpNode>(
349 std::move(lhs), std::move(rhs));
363 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
369 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
370 lhs = std::make_unique<BinaryOpNode>(
372 std::move(lhs), std::move(rhs));
386 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
392 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
393 lhs = std::make_unique<BinaryOpNode>(
395 std::move(lhs), std::move(rhs));
414 BailOut(
"binary multiplication (*) is allowed only in DIL full mode",
416 return std::make_unique<ErrorNode>();
420 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
421 lhs = std::make_unique<BinaryOpNode>(
423 std::move(lhs), std::move(rhs));
447 uint32_t save_token_idx =
m_dil_lexer.GetCurrentTokenIdx();
459 if (!type_id.value().IsValid())
460 return std::make_unique<ErrorNode>();
465 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
466 return std::make_unique<CastNode>(loc, type_id.value(), std::move(rhs),
498 assert(rhs &&
"ASTNodeUP must not contain a nullptr");
519 llvm_unreachable(
"invalid token kind");
536 assert(lhs &&
"ASTNodeUP must not contain a nullptr");
544 assert(index &&
"ASTNodeUP must not contain a nullptr");
548 assert(last_index &&
"ASTNodeUP must not contain a nullptr");
549 lhs = std::make_unique<BitFieldExtractionNode>(
550 loc, std::move(lhs), std::move(index), std::move(last_index));
552 BailOut(
"use of '-' for bitfield range is deprecated; use ':' instead",
554 return std::make_unique<ErrorNode>();
556 lhs = std::make_unique<ArraySubscriptNode>(loc, std::move(lhs),
568 lhs = std::make_unique<MemberOfNode>(
574 llvm_unreachable(
"invalid token");
600 if (!identifier.empty()) {
603 uint32_t save_token_idx =
m_dil_lexer.GetCurrentTokenIdx();
608 return std::make_unique<SizeOfNode>(loc, *type_id);
614 return std::make_unique<SizeOfNode>(loc, std::move(expr));
616 return std::make_unique<IdentifierNode>(loc, identifier);
630 return std::make_unique<ErrorNode>();
654 (
m_dil_lexer.LookAhead(1).GetSpelling() ==
"anonymous") &&
656 (
m_dil_lexer.LookAhead(2).GetSpelling() ==
"namespace") &&
664 BailOut(
"Expected an identifier or anonymous namespace, but not found.",
670 return "(anonymous namespace)::" + identifier2;
710 if (maybe_builtin_type) {
711 type = *maybe_builtin_type;
715 std::string type_name;
718 if (type_name.empty())
740 std::vector<Token> ptr_operators;
743 ptr_operators.push_back(std::move(tok));
762 std::string type_name =
"";
763 uint32_t save_token_idx =
m_dil_lexer.GetCurrentTokenIdx();
764 bool first_word =
true;
766 if (
CurToken().GetSpelling() ==
"const" ||
767 CurToken().GetSpelling() ==
"volatile") {
772 type_name.push_back(
' ');
775 type_name.append(
CurToken().GetSpelling());
779 if (type_name.size() > 0) {
782 for (
auto type_system_sp : target_sp->GetScratchTypeSystems())
783 if (
auto compiler_type =
784 type_system_sp->GetBuiltinTypeByName(const_type_name))
785 return compiler_type;
802 type_name = *err_or_string;
818 bool global_scope =
false;
829 if (!type_name_or_err)
830 return type_name_or_err;
831 std::string type_name = *type_name_or_err;
836 if (!type_name.empty())
838 return llvm::formatv(
"{0}{1}{2}", global_scope ?
"::" :
"",
839 nested_name_specifier, type_name);
889 bool global_scope =
false;
900 if (!nested_name_specifier.empty()) {
904 return llvm::formatv(
"{0}{1}{2}", global_scope ?
"::" :
"",
905 nested_name_specifier, unqualified_id);
917 return llvm::formatv(
"{0}{1}", global_scope ?
"::" :
"", identifier);
941 const std::vector<Token> &ptr_operators) {
943 for (
Token tk : ptr_operators) {
944 uint32_t loc = tk.GetLocation();
948 BailOut(llvm::formatv(
"'type name' declared as a pointer to a "
949 "reference of type {0}",
951 loc,
CurToken().GetSpelling().length());
961 BailOut(
"type name declared as a reference to a reference", loc,
984 return std::make_unique<BooleanLiteralNode>(loc, literal_value);
1013 BailOut(llvm::formatv(
"Failed to parse token as numeric-constant: {0}",
1016 return numeric_constant;
1019 return numeric_constant;
1025 llvm::StringRef spelling_ref = spelling;
1027 auto radix = llvm::getAutoSenseRadix(spelling_ref);
1029 bool is_unsigned =
false;
1030 if (spelling_ref.consume_back_insensitive(
"u"))
1032 if (spelling_ref.consume_back_insensitive(
"ll"))
1034 else if (spelling_ref.consume_back_insensitive(
"l"))
1037 if (!is_unsigned && spelling_ref.consume_back_insensitive(
"u"))
1040 llvm::APInt raw_value;
1041 if (!spelling_ref.getAsInteger(radix, raw_value))
1042 return std::make_unique<IntegerLiteralNode>(token.
GetLocation(), raw_value,
1043 radix, is_unsigned, type);
1044 return std::make_unique<ErrorNode>();
1050 llvm::StringRef spelling_ref = spelling;
1052 llvm::APFloat raw_float(llvm::APFloat::IEEEdouble());
1053 if (spelling_ref.consume_back_insensitive(
"f"))
1054 raw_float = llvm::APFloat(llvm::APFloat::IEEEsingle());
1056 auto StatusOrErr = raw_float.convertFromString(
1057 spelling_ref, llvm::APFloat::rmNearestTiesToEven);
1058 if (!errorToBool(StatusOrErr.takeError()))
1059 return std::make_unique<FloatLiteralNode>(token.
GetLocation(), raw_float);
1060 return std::make_unique<ErrorNode>();
1071 if (!
CurToken().IsOneOf(kinds_vec)) {
1072 BailOut(llvm::formatv(
"expected any of ({0}), got: {1}",
1073 llvm::iterator_range(kinds_vec),
CurToken()),
static llvm::raw_ostream & error(Stream &strm)
uint32_t GetKind(uint32_t data)
Return the type kind encoded in the given data.
Generic representation of a type in a programming language.
CompilerType GetPointerType() const
Return a new CompilerType that is a pointer to this type.
CompilerType GetLValueReferenceType() const
Return a new CompilerType that is a L value reference to this type if this type is valid and the type...
ConstString GetTypeName(bool BaseOnly=false) const
bool IsReferenceType(CompilerType *pointee_type=nullptr, bool *is_rvalue=nullptr) const
std::string TypeDescription()
A uniqued constant string class.
llvm::StringRef GetStringRef() const
Get the string value as a llvm::StringRef.
"lldb/Target/ExecutionContextScope.h" Inherit from this if your object can reconstruct its execution ...
virtual lldb::TargetSP CalculateTarget()=0
A collection class for Module objects.
void FindTypes(Module *search_first, const TypeQuery &query, lldb_private::TypeResults &results) const
Find types using a type-matching object that contains all search parameters.
This base class provides an interface to stack frames.
A class that contains all state required for type lookups.
This class tracks the state and results of a TypeQuery.
lldb::TypeSP GetFirstType() const
DILDiagnosticError(DiagnosticDetail detail)
std::string message() const override
DiagnosticDetail m_detail
Class for doing the simple lexing required by DIL.
ASTNodeUP ParseAdditiveExpression()
ASTNodeUP ParseInclusiveOrExpression()
ASTNodeUP ParseUnaryExpression()
ASTNodeUP ParseLogicalOrExpression()
void ParseTypeSpecifierSeq(std::string &type_name)
ASTNodeUP ParseIntegerLiteral()
void Expect(Token::Kind kind)
std::optional< CompilerType > ParseTypeId()
static llvm::Expected< ASTNodeUP > Parse(llvm::StringRef dil_input_expr, DILLexer lexer, StackFrame &stack_frame, lldb::DynamicValueType use_dynamic, lldb::DILMode mode)
void TentativeParsingRollback(uint32_t saved_idx)
ASTNodeUP ParseLogicalAndExpression()
ASTNodeUP ParseEqualityExpression()
ASTNodeUP ParseFloatingPointLiteral()
ASTNodeUP ParseExpression()
ASTNodeUP ParseAndExpression()
void ExpectOneOf(std::vector< Token::Kind > kinds_vec)
std::optional< std::string > ParseTypeSpecifier()
ASTNodeUP ParseRelationalExpression()
ASTNodeUP ParseNumericLiteral()
ASTNodeUP ParseAssignmentExpression()
std::optional< CompilerType > ParseBuiltinType()
ASTNodeUP ParsePrimaryExpression()
DILParser(llvm::StringRef dil_input_expr, DILLexer lexer, StackFrame &stack_frame, lldb::DynamicValueType use_dynamic, llvm::Error &error, lldb::DILMode mode)
void BailOut(const std::string &error, uint32_t loc, uint16_t err_len)
CompilerType ResolveTypeDeclarators(CompilerType type, const std::vector< Token > &ptr_operators)
ASTNodeUP ParsePostfixExpression()
std::string ParseIdExpression()
ASTNodeUP ParseMultiplicativeExpression()
lldb::DynamicValueType m_use_dynamic
std::string ParseUnqualifiedId()
ASTNodeUP ParseCastExpression()
ASTNodeUP ParseBooleanLiteral()
std::optional< std::string > ParseTypeName()
llvm::StringRef m_input_expr
ASTNodeUP ParseConditionalExpression()
std::string ParseNestedNameSpecifier()
ASTNodeUP ParseExclusiveOrExpression()
ASTNodeUP ParseShiftExpression()
StackFrame & m_stack_frame
Class defining the tokens generated by the DIL lexer and used by the DIL parser.
uint32_t GetLocation() const
std::string GetSpelling() const
@ eNone
Invalid promotion type (results in error).
lldb::ValueObjectSP LookupIdentifier(llvm::StringRef name_ref, StackFrame &stack_frame, lldb::DynamicValueType use_dynamic)
Given the name of an identifier (variable name, member name, type name, etc.), find the ValueObject f...
std::unique_ptr< ASTNode > ASTNodeUP
lldb::ValueObjectSP LookupGlobalIdentifier(llvm::StringRef name_ref, StackFrame &stack_frame, lldb::TargetSP target_sp, lldb::DynamicValueType use_dynamic)
Given the name of an identifier, check to see if it matches the name of a global variable.
BinaryOpKind GetBinaryOpKindFromToken(Token::Kind token_kind)
Translates DIL tokens to BinaryOpKind.
CompilerType ResolveTypeByName(const std::string &name, ExecutionContextScope &ctx_scope)
std::shared_ptr< lldb_private::Type > TypeSP
std::shared_ptr< lldb_private::Target > TargetSP
DILMode
Data Inspection Language (DIL) evaluation modes.
@ eDILModeFull
Allowed: everything supported by DIL.
A source location consisting of a file name and position.