tree d7e898d1f285a819098080047b52396ade1037fe
parent c58af0e264218111e122231c82eee6cf747e171e
author Utkarsh Bahuguna <utkarshbahuguna10@gmail.com> 1789994541 +0530
committer Marc Poulhiès <dkm@kataplop.net> 1791919591 +0200
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAOtc0g+oDxG9En94EJR3zh
 JhQR75Sm3XbmqgcryfJAHoRyrXm0/7yeZp/UHxJOyRP5r6HNS4Y684e7fhaB8MZyITB2mc
 FQYPeBNiz0DwVRqAHChsqd5VmlhkQcNsCl3ART8HgOkjQFk/kn14u0Uv4cL4UDN3hsNg1P
 zMxgox9KUwwSiLKVPpdQnnC6NZgOhGfbuajc/Ds140LP8B5eO/33Ozb7KLr8OKeGgi/vLm
 3OEOFFzklvXSieFThYpywoFnkHX/tqJgI6JFDvKG7zl++uHmq24KMxQrEM0su07BehFLa9
 qNGKMaR24UhuVMqVYktuoys9GxqMvPMufvYmxqSAyrJxbW/hLV7xV31F16bl9lDfHI1LKj
 8M1rrvevu4H5C6xPOokBU0xn991Z9aToYgyDoQKOvx0eyOlQNLtN7YMEUr8QyFN4GVa+WN
 MWwuSZDgFy5qdphgFuKEjuciHuE8MgUKTrFvH9ou3KANx9/1Z+fYFHQtZzFRx77Vsv9MQT
 gwAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgLmiPNI3Zp
 A6XnJ1BfmmGtZ/NqVSts1id401nQZxa9fsw+muM0+S0freuif5amQgfbucX3d5mbv6qJk/
 P+abZgdEWOXSwuU7ZAXRjDgCQ03hvTLB8dZb+bX3i3vgHrddDIIacNppyF6BSN4DAKYm6H
 movmkpfS1jc/n1+lGlZr23BLesTY2gBKXaz5tbiDMzKLQ7/i5JLqiHzCNregV8mga8QYNv
 Z3EAlCYSAGX7YaVx3QNyX/KC6+whUNMyeXi3HlpzSTF/5iq9FxkwQ21XJLp8WW/458eJvw
 UF9Ar+LFpSH2wIBxNXUPVl0HM4AGcDgYqHdnLOkdLg//2j0xSHD81MiU4EqCXzqGsQrnVI
 z5x7hx6Buvgj2w7vwHwoWf8CiatKo6fzR+muKXvCkFpTSq5iC/5aMP7gCtSNycsbxve+cQ
 MNVrV6lujtLSB+J5onxKt6mUSB1Xzg1qe0yWIh08e3Uc4XtIFZPKKAiMc25t9gB0r78cce
 goe0r/0cpCjURA==
 -----END SSH SIGNATURE-----

gccrs: Diagnose const arithmetic overflow with E0080

Rust rejects overflow in const eval for signed and unsigned alike, but
GCC only sets TREE_OVERFLOW for signed ops, so unsigned just wrapped
silently. The signed case did get caught, but only after folding, against
an INTEGER_CST that carries no location - hence the locationless error.

So build arithmetic with build2_loc instead of folding it right away. The
const folder then sees the operation and its operands, and can report
overflow on both signednesses with a proper location.

gcc/rust/ChangeLog:

	* rust-gcc.cc (arithmetic_or_logical_expression): Use build2_loc
	instead of fold_build2_loc.
	* backend/rust-constexpr.cc (eval_check_overflow_p): New function.
	(eval_binary_expression): Use it.

gcc/testsuite/ChangeLog:

	* rust/compile/const_overflow_unsigned.rs: Rewrite for E0080.
	* rust/compile/const_overflow_signed.rs: New test.
	* rust/compile/torture/arrays5.rs: Require lp64 target.
	* rust/compile/torture/arrays6.rs: Likewise.

Signed-off-by: Utkarsh Bahuguna <utkarshbahuguna10@gmail.com>