From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/run-make-fulldeps/issue-20626/Makefile | 8 ++++++++ src/test/run-make-fulldeps/issue-20626/foo.rs | 13 +++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 src/test/run-make-fulldeps/issue-20626/Makefile create mode 100644 src/test/run-make-fulldeps/issue-20626/foo.rs (limited to 'src/test/run-make-fulldeps/issue-20626') diff --git a/src/test/run-make-fulldeps/issue-20626/Makefile b/src/test/run-make-fulldeps/issue-20626/Makefile new file mode 100644 index 000000000..0487b2404 --- /dev/null +++ b/src/test/run-make-fulldeps/issue-20626/Makefile @@ -0,0 +1,8 @@ +-include ../tools.mk + +# Test output to be four +# The original error only occurred when printing, not when comparing using assert! + +all: + $(RUSTC) foo.rs -O + [ `$(call RUN,foo)` = "4" ] diff --git a/src/test/run-make-fulldeps/issue-20626/foo.rs b/src/test/run-make-fulldeps/issue-20626/foo.rs new file mode 100644 index 000000000..a474e234e --- /dev/null +++ b/src/test/run-make-fulldeps/issue-20626/foo.rs @@ -0,0 +1,13 @@ +fn identity(a: &u32) -> &u32 { a } + +fn print_foo(f: &fn(&u32) -> &u32, x: &u32) { + print!("{}", (*f)(x)); +} + +fn main() { + let x = &4; + let f: fn(&u32) -> &u32 = identity; + + // Didn't print 4 on optimized builds + print_foo(&f, x); +} -- cgit v1.2.3