KJ16609/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2026-02-22 20:01:22 -05:00
Code Issues Packages Projects Releases Wiki Activity

gccrs: Check for mutable references in const functions

Browse Source 
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>
This commit is contained in:
Dave
2022-12-19 10:59:00 -06:00
committed by Arthur Cohen
parent 776ff05380
commit d9e05700ac
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/rust/checks/errors/rust-const-checker.cc
View File

@@ -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)

3
gcc/testsuite/rust/compile/const10.rs Normal file
View File

@@ -0,0 +1,3 @@
const fn foo (a: &mut i32) { // { dg-error "mutable references are not allowed in constant functions" }
*a = 1;
}