LCOV - code coverage report
Current view: top level - gcc/rust/checks/errors/borrowck - rust-bir-builder-expr-stmt.h (source / functions) Coverage Total Hit
Test: gcc.info Lines: 25.0 % 36 9
Test Date: 2025-07-12 13:27:34 Functions: 7.7 % 26 2
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

             Branch data     Line data    Source code
       1                 :             : // Copyright (C) 2020-2025 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_BIR_BUILDER_EXPR_H
      20                 :             : #define RUST_BIR_BUILDER_EXPR_H
      21                 :             : 
      22                 :             : #include "rust-hir-visitor.h"
      23                 :             : #include "rust-bir-builder-internal.h"
      24                 :             : 
      25                 :             : namespace Rust {
      26                 :             : namespace BIR {
      27                 :             : 
      28                 :             : /**
      29                 :             :  * Compiles expressions into a BIR place.
      30                 :             :  * See AbstractExprBuilder for API usage docs (mainly `return_place` and
      31                 :             :  * `return_expr`).
      32                 :             :  */
      33                 :             : class ExprStmtBuilder final : public AbstractExprBuilder,
      34                 :             :                               public HIR::HIRStmtVisitor
      35                 :             : {
      36                 :             : public:
      37                 :          40 :   explicit ExprStmtBuilder (BuilderContext &ctx) : AbstractExprBuilder (ctx) {}
      38                 :             : 
      39                 :             :   /** Entry point. */
      40                 :          40 :   PlaceId build (HIR::Expr &expr, PlaceId destination = INVALID_PLACE)
      41                 :             :   {
      42                 :          40 :     return visit_expr (expr, destination);
      43                 :             :   }
      44                 :             : 
      45                 :             : private:
      46                 :             :   template <typename T>
      47                 :          11 :   std::vector<PlaceId> visit_list (std::vector<std::unique_ptr<T>> &list)
      48                 :             :   {
      49                 :          11 :     std::vector<PlaceId> result;
      50                 :          22 :     for (auto &elem : list)
      51                 :             :       {
      52                 :          11 :         result.push_back (visit_expr (*elem));
      53                 :             :       }
      54                 :          11 :     return result;
      55                 :             :   }
      56                 :             : 
      57                 :             :   /** Common infrastructure for loops. */
      58                 :             :   BuilderContext::LoopAndLabelCtx &setup_loop (HIR::BaseLoopExpr &expr);
      59                 :             : 
      60                 :             :   BuilderContext::LoopAndLabelCtx &get_label_ctx (HIR::Lifetime &label);
      61                 :             :   BuilderContext::LoopAndLabelCtx &get_unnamed_loop_ctx ();
      62                 :             : 
      63                 :             : protected: // Expr
      64                 :             :   void visit (HIR::ClosureExpr &expr) override;
      65                 :             :   void visit (HIR::StructExprStructFields &fields) override;
      66                 :             :   void visit (HIR::StructExprStruct &expr) override;
      67                 :             :   void visit (HIR::LiteralExpr &expr) override;
      68                 :             :   void visit (HIR::BorrowExpr &expr) override;
      69                 :             :   void visit (HIR::DereferenceExpr &expr) override;
      70                 :             :   void visit (HIR::ErrorPropagationExpr &expr) override;
      71                 :             :   void visit (HIR::NegationExpr &expr) override;
      72                 :             :   void visit (HIR::ArithmeticOrLogicalExpr &expr) override;
      73                 :             :   void visit (HIR::ComparisonExpr &expr) override;
      74                 :             :   void visit (HIR::LazyBooleanExpr &expr) override;
      75                 :             :   void visit (HIR::TypeCastExpr &expr) override;
      76                 :             :   void visit (HIR::AssignmentExpr &expr) override;
      77                 :             :   void visit (HIR::CompoundAssignmentExpr &expr) override;
      78                 :             :   void visit (HIR::GroupedExpr &expr) override;
      79                 :             :   void visit (HIR::ArrayExpr &expr) override;
      80                 :             :   void visit (HIR::ArrayIndexExpr &expr) override;
      81                 :             :   void visit (HIR::TupleExpr &expr) override;
      82                 :             :   void visit (HIR::TupleIndexExpr &expr) override;
      83                 :             :   void visit (HIR::CallExpr &expr) override;
      84                 :             :   void visit (HIR::MethodCallExpr &expr) override;
      85                 :             :   void visit (HIR::FieldAccessExpr &expr) override;
      86                 :             :   void visit (HIR::BlockExpr &block) override;
      87                 :             :   void visit (HIR::ContinueExpr &cont) override;
      88                 :             :   void visit (HIR::BreakExpr &brk) override;
      89                 :             :   void visit (HIR::RangeFromToExpr &range) override;
      90                 :             :   void visit (HIR::RangeFromExpr &expr) override;
      91                 :             :   void visit (HIR::RangeToExpr &expr) override;
      92                 :             :   void visit (HIR::RangeFullExpr &expr) override;
      93                 :             :   void visit (HIR::RangeFromToInclExpr &expr) override;
      94                 :             :   void visit (HIR::RangeToInclExpr &expr) override;
      95                 :             :   void visit (HIR::ReturnExpr &ret) override;
      96                 :             :   void visit (HIR::UnsafeBlockExpr &expr) override;
      97                 :             :   void visit (HIR::LoopExpr &expr) override;
      98                 :             :   void visit (HIR::WhileLoopExpr &expr) override;
      99                 :             :   void visit (HIR::WhileLetLoopExpr &expr) override;
     100                 :             :   void visit (HIR::IfExpr &expr) override;
     101                 :             :   void visit (HIR::IfExprConseqElse &expr) override;
     102                 :             :   void visit (HIR::InlineAsm &expr) override;
     103                 :             :   void visit (HIR::LlvmInlineAsm &expr) override;
     104                 :             : 
     105                 :             :   void visit (HIR::MatchExpr &expr) override;
     106                 :             :   void visit (HIR::AwaitExpr &expr) override;
     107                 :             :   void visit (HIR::AsyncBlockExpr &expr) override;
     108                 :             : 
     109                 :             : protected: // Nodes not containing executable code. Nothing to do.
     110                 :             :   void visit (HIR::QualifiedPathInExpression &expr) override;
     111                 :             :   void visit (HIR::PathInExpression &expr) override;
     112                 :             : 
     113                 :             : protected: // Handled by other visitors
     114                 :           0 :   void visit (HIR::StructExprFieldIdentifier &field) override
     115                 :             :   {
     116                 :           0 :     rust_unreachable ();
     117                 :             :   }
     118                 :           0 :   void visit (HIR::StructExprFieldIdentifierValue &field) override
     119                 :             :   {
     120                 :           0 :     rust_unreachable ();
     121                 :             :   }
     122                 :           0 :   void visit (HIR::StructExprFieldIndexValue &field) override
     123                 :             :   {
     124                 :           0 :     rust_unreachable ();
     125                 :             :   }
     126                 :             : 
     127                 :             : protected: // Stmt
     128                 :             :   void visit (HIR::LetStmt &stmt) override;
     129                 :             : 
     130                 :             :   void visit (HIR::ExprStmt &stmt) override;
     131                 :             : 
     132                 :             : protected: // Ignored.
     133                 :             :   // Only executable code of a single function/method is translated.
     134                 :           0 :   void visit (HIR::EnumItemTuple &tuple) override {}
     135                 :           0 :   void visit (HIR::EnumItemStruct &a_struct) override {}
     136                 :           0 :   void visit (HIR::EnumItem &item) override {}
     137                 :           0 :   void visit (HIR::TupleStruct &tuple_struct) override {}
     138                 :           0 :   void visit (HIR::EnumItemDiscriminant &discriminant) override {}
     139                 :           0 :   void visit (HIR::TypePathSegmentFunction &segment) override {}
     140                 :           0 :   void visit (HIR::TypePath &path) override {}
     141                 :           0 :   void visit (HIR::QualifiedPathInType &path) override {}
     142                 :           0 :   void visit (HIR::Module &module) override {}
     143                 :           0 :   void visit (HIR::ExternCrate &crate) override {}
     144                 :           0 :   void visit (HIR::UseDeclaration &use_decl) override {}
     145                 :           0 :   void visit (HIR::Function &function) override {}
     146                 :           0 :   void visit (HIR::TypeAlias &type_alias) override {}
     147                 :           6 :   void visit (HIR::StructStruct &struct_item) override {}
     148                 :           0 :   void visit (HIR::Enum &enum_item) override {}
     149                 :           0 :   void visit (HIR::Union &union_item) override {}
     150                 :           0 :   void visit (HIR::ConstantItem &const_item) override {}
     151                 :           0 :   void visit (HIR::StaticItem &static_item) override {}
     152                 :           0 :   void visit (HIR::Trait &trait) override {}
     153                 :           0 :   void visit (HIR::ImplBlock &impl) override {}
     154                 :           0 :   void visit (HIR::ExternBlock &block) override {}
     155                 :           0 :   void visit (HIR::EmptyStmt &stmt) override {}
     156                 :             : };
     157                 :             : 
     158                 :             : } // namespace BIR
     159                 :             : } // namespace Rust
     160                 :             : 
     161                 :             : #endif // RUST_BIR_BUILDER_EXPR_H
        

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.