aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorDave <dme2223@gmail.com>2022-12-19 10:59:00 -0600
committerArthur Cohen <arthur.cohen@embecosm.com>2023-04-06 10:47:16 +0200
commitd9e05700ac3085f29e95d53b3ec59c22adbc7c71 (patch)
treeeb8b097393929fe9fd7ce3ef4abe4405085bb67c /gcc
parent776ff053800ad989564b0b3c2904fb072abaf422 (diff)
downloadgcc-d9e05700ac3085f29e95d53b3ec59c22adbc7c71.zip
gcc-d9e05700ac3085f29e95d53b3ec59c22adbc7c71.tar.gz
gcc-d9e05700ac3085f29e95d53b3ec59c22adbc7c71.tar.bz2
gccrs: Check for mutable references in const functions
Use StackedContext instead. Fix error string Signed-off-by: Dave Evans <dave@dmetwo.org> (Squashed commits) Check for mutable references in const functions using StackedContext gcc/rust/ChangeLog: * checks/errors/rust-const-checker.cc (ConstChecker::visit): Use StackedContext class. gcc/testsuite/ChangeLog: * rust/compile/const10.rs: New test. Signed-off-by: Dave Evans <dave@dmetwo.org>
Diffstat (limited to 'gcc')
-rw-r--r--gcc/rust/checks/errors/rust-const-checker.cc8
-rw-r--r--gcc/testsuite/rust/compile/const10.rs3
2 files changed, 9 insertions, 2 deletions
diff --git a/gcc/rust/checks/errors/rust-const-checker.cc b/gcc/rust/checks/errors/rust-const-checker.cc
index 576c1b1..7e31c9f 100644
--- a/gcc/rust/checks/errors/rust-const-checker.cc
+++ b/gcc/rust/checks/errors/rust-const-checker.cc
@@ -898,8 +898,12 @@ ConstChecker::visit (RawPointerType &)
{}
void
-ConstChecker::visit (ReferenceType &)
-{}
+ConstChecker::visit (ReferenceType &type)
+{
+ if (const_context.is_in_context () && type.is_mut ())
+ rust_error_at (type.get_locus (),
+ "mutable references are not allowed in constant functions");
+}
void
ConstChecker::visit (ArrayType &type)
diff --git a/gcc/testsuite/rust/compile/const10.rs b/gcc/testsuite/rust/compile/const10.rs
new file mode 100644
index 0000000..9ab8274
--- /dev/null
+++ b/gcc/testsuite/rust/compile/const10.rs
@@ -0,0 +1,3 @@
+const fn foo (a: &mut i32) { // { dg-error "mutable references are not allowed in constant functions" }
+ *a = 1;
+}