diff options
| author | Dave <dme2223@gmail.com> | 2022-12-19 10:59:00 -0600 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-04-06 10:47:16 +0200 |
| commit | d9e05700ac3085f29e95d53b3ec59c22adbc7c71 (patch) | |
| tree | eb8b097393929fe9fd7ce3ef4abe4405085bb67c /gcc/rust | |
| parent | 776ff053800ad989564b0b3c2904fb072abaf422 (diff) | |
| download | gcc-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/rust')
| -rw-r--r-- | gcc/rust/checks/errors/rust-const-checker.cc | 8 |
1 files changed, 6 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) |