Line data Source code
1 : // Copyright (C) 2020-2026 Free Software Foundation, Inc.
2 :
3 : // This file is part of GCC.
4 :
5 : // GCC is free software; you can redistribute it and/or modify it under
6 : // the terms of the GNU General Public License as published by the Free
7 : // Software Foundation; either version 3, or (at your option) any later
8 : // version.
9 :
10 : // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
11 : // WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 : // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 : // for more details.
14 :
15 : // You should have received a copy of the GNU General Public License
16 : // along with GCC; see the file COPYING3. If not see
17 : // <http://www.gnu.org/licenses/>.
18 :
19 : #ifndef RUST_HIR_TYPE_CHECK_EXPR
20 : #define RUST_HIR_TYPE_CHECK_EXPR
21 :
22 : #include "rust-hir-expr.h"
23 : #include "rust-hir-type-check-base.h"
24 : #include "rust-hir-visitor.h"
25 : #include "rust-tyty.h"
26 :
27 : namespace Rust {
28 : namespace Resolver {
29 :
30 140924 : class TypeCheckExpr : private TypeCheckBase, private HIR::HIRExpressionVisitor
31 : {
32 : public:
33 : static TyTy::BaseType *Resolve (HIR::Expr &expr);
34 :
35 : static TyTy::BaseType *
36 : ResolveOpOverload (LangItem::Kind lang_item_type, HIR::OperatorExprMeta expr,
37 : TyTy::BaseType *lhs, TyTy::BaseType *rhs,
38 : HIR::PathIdentSegment specified_segment);
39 :
40 : void visit (HIR::TupleIndexExpr &expr) override;
41 : void visit (HIR::TupleExpr &expr) override;
42 : void visit (HIR::ReturnExpr &expr) override;
43 : void visit (HIR::CallExpr &expr) override;
44 : void visit (HIR::MethodCallExpr &expr) override;
45 : void visit (HIR::AssignmentExpr &expr) override;
46 : void visit (HIR::CompoundAssignmentExpr &expr) override;
47 : void visit (HIR::LiteralExpr &expr) override;
48 : void visit (HIR::ArithmeticOrLogicalExpr &expr) override;
49 : void visit (HIR::ComparisonExpr &expr) override;
50 : void visit (HIR::LazyBooleanExpr &expr) override;
51 : void visit (HIR::NegationExpr &expr) override;
52 : void visit (HIR::IfExpr &expr) override;
53 : void visit (HIR::IfExprConseqElse &expr) override;
54 : void visit (HIR::BlockExpr &expr) override;
55 : void visit (HIR::AnonConst &expr) override;
56 : void visit (HIR::ConstBlock &expr) override;
57 : void visit (HIR::UnsafeBlockExpr &expr) override;
58 : void visit (HIR::ArrayIndexExpr &expr) override;
59 : void visit (HIR::ArrayExpr &expr) override;
60 : void visit (HIR::StructExprStruct &struct_expr) override;
61 : void visit (HIR::StructExprStructFields &struct_expr) override;
62 : void visit (HIR::GroupedExpr &expr) override;
63 : void visit (HIR::FieldAccessExpr &expr) override;
64 : void visit (HIR::QualifiedPathInExpression &expr) override;
65 : void visit (HIR::PathInExpression &expr) override;
66 : void visit (HIR::LoopExpr &expr) override;
67 : void visit (HIR::BreakExpr &expr) override;
68 : void visit (HIR::ContinueExpr &expr) override;
69 : void visit (HIR::BorrowExpr &expr) override;
70 : void visit (HIR::DereferenceExpr &expr) override;
71 : void visit (HIR::TypeCastExpr &expr) override;
72 : void visit (HIR::MatchExpr &expr) override;
73 : void visit (HIR::RangeFromToExpr &expr) override;
74 : void visit (HIR::RangeFromExpr &expr) override;
75 : void visit (HIR::RangeToExpr &expr) override;
76 : void visit (HIR::RangeFullExpr &expr) override;
77 : void visit (HIR::RangeFromToInclExpr &expr) override;
78 : void visit (HIR::WhileLoopExpr &expr) override;
79 : void visit (HIR::ClosureExpr &expr) override;
80 : void visit (HIR::InlineAsm &expr) override;
81 : void visit (HIR::LlvmInlineAsm &expr) override;
82 : void visit (HIR::OffsetOf &expr) override;
83 :
84 : // TODO
85 0 : void visit (HIR::ErrorPropagationExpr &) override {}
86 0 : void visit (HIR::RangeToInclExpr &) override {}
87 0 : void visit (HIR::WhileLetLoopExpr &) override {}
88 :
89 : // lets not worry about async yet....
90 0 : void visit (HIR::AwaitExpr &) override {}
91 0 : void visit (HIR::AsyncBlockExpr &) override {}
92 :
93 : // don't need to implement these see rust-hir-type-check-struct-field.h
94 0 : void visit (HIR::StructExprFieldIdentifier &) override
95 : {
96 0 : rust_unreachable ();
97 : }
98 0 : void visit (HIR::StructExprFieldIndexValue &) override
99 : {
100 0 : rust_unreachable ();
101 : }
102 0 : void visit (HIR::StructExprFieldIdentifierValue &) override
103 : {
104 0 : rust_unreachable ();
105 : }
106 :
107 : protected:
108 : bool resolve_operator_overload (LangItem::Kind lang_item_type,
109 : HIR::OperatorExprMeta expr,
110 : TyTy::BaseType *lhs, TyTy::BaseType *rhs,
111 : HIR::PathIdentSegment specified_segment
112 : = HIR::PathIdentSegment::create_error ());
113 :
114 : bool resolve_fn_trait_call (HIR::CallExpr &expr,
115 : TyTy::BaseType *function_tyty,
116 : TyTy::BaseType **result);
117 :
118 : HIR::PathIdentSegment resolve_possible_fn_trait_call_method_name (
119 : const TyTy::BaseType &receiver,
120 : TyTy::TypeBoundPredicate *associated_predicate);
121 :
122 : private:
123 : TypeCheckExpr ();
124 :
125 : TyTy::BaseType *resolve_root_path (HIR::PathInExpression &expr,
126 : size_t *offset,
127 : NodeId *root_resolved_node_id);
128 :
129 : void resolve_segments (NodeId root_resolved_node_id,
130 : std::vector<HIR::PathExprSegment> &segments,
131 : size_t offset, TyTy::BaseType *tyseg,
132 : const Analysis::NodeMapping &expr_mappings,
133 : location_t expr_locus);
134 :
135 : bool
136 : validate_arithmetic_type (const TyTy::BaseType *tyty,
137 : HIR::ArithmeticOrLogicalExpr::ExprType expr_type);
138 :
139 : /* The return value of TypeCheckExpr::Resolve */
140 : TyTy::BaseType *infered;
141 : };
142 :
143 : } // namespace Resolver
144 : } // namespace Rust
145 :
146 : #endif // RUST_HIR_TYPE_CHECK_EXPR
|
