From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id F10593856DD1; Wed, 27 Jul 2022 13:20:26 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F10593856DD1 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] Merge #1410 X-Act-Checkin: gcc X-Git-Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: dec7ee4c5e703422ecb9bc94417645d66af7eaae X-Git-Newrev: d94d5b1ea23220d423fd40bd00cadb0e6ede751f Message-Id: <20220727132026.F10593856DD1@sourceware.org> Date: Wed, 27 Jul 2022 13:20:26 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 27 Jul 2022 13:20:27 -0000 https://gcc.gnu.org/g:d94d5b1ea23220d423fd40bd00cadb0e6ede751f commit d94d5b1ea23220d423fd40bd00cadb0e6ede751f Merge: dec7ee4c5e7 961468ed824 Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> Date: Wed Jul 27 12:32:38 2022 +0000 Merge #1410 1410: unsafe: Add UnsafeCheck visitor r=CohenArthur a=CohenArthur This visitor takes care of checking for unsafe expressions in safe contexts. This first iteration reports the dereferencing of raw pointers. Co-authored-by: Arthur Cohen Diff: gcc/rust/Make-lang.in | 1 + gcc/rust/checks/errors/rust-unsafe-checker.cc | 779 ++++++++++++++++++++++++++ gcc/rust/checks/errors/rust-unsafe-checker.h | 193 +++++++ gcc/rust/hir/tree/rust-hir-expr.h | 2 + gcc/rust/hir/tree/rust-hir-item.h | 1 + gcc/rust/rust-session-manager.cc | 9 +- gcc/testsuite/rust/compile/unsafe4.rs | 29 + gcc/testsuite/rust/compile/unsafe5.rs | 4 + 8 files changed, 1017 insertions(+), 1 deletion(-)