From 0c6338ddb64b8a3fc24470b3040e09ade2f772d8 Mon Sep 17 00:00:00 2001 From: Philip Herron Date: Mon, 17 Apr 2023 22:04:11 +0100 Subject: gccrs: add helper to check for a const or static context gcc/rust/ChangeLog: * typecheck/rust-hir-type-check.h: new helper * typecheck/rust-typecheck-context.cc (TypeCheckContext::have_function_context): implementation Signed-off-by: Philip Herron --- gcc/rust/typecheck/rust-hir-type-check.h | 1 + gcc/rust/typecheck/rust-typecheck-context.cc | 6 ++++++ 2 files changed, 7 insertions(+) (limited to 'gcc') diff --git a/gcc/rust/typecheck/rust-hir-type-check.h b/gcc/rust/typecheck/rust-hir-type-check.h index 3f43bc8..6fa75ec 100644 --- a/gcc/rust/typecheck/rust-hir-type-check.h +++ b/gcc/rust/typecheck/rust-hir-type-check.h @@ -91,6 +91,7 @@ public: void insert_type_by_node_id (NodeId ref, HirId id); bool lookup_type_by_node_id (NodeId ref, HirId *id); + bool have_function_context () const; TyTy::BaseType *peek_return_type (); TypeCheckContextItem peek_context (); void push_return_type (TypeCheckContextItem item, diff --git a/gcc/rust/typecheck/rust-typecheck-context.cc b/gcc/rust/typecheck/rust-typecheck-context.cc index 7c0dc06..5d05021 100644 --- a/gcc/rust/typecheck/rust-typecheck-context.cc +++ b/gcc/rust/typecheck/rust-typecheck-context.cc @@ -136,6 +136,12 @@ TypeCheckContext::lookup_type_by_node_id (NodeId ref, HirId *id) return true; } +bool +TypeCheckContext::have_function_context () const +{ + return !return_type_stack.empty (); +} + TyTy::BaseType * TypeCheckContext::peek_return_type () { -- cgit v1.1