From nobody Thu Sep 14 08:26:16 2023 X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4RmVlX5xZbz4snnX for ; Thu, 14 Sep 2023 08:26:16 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4RmVlX3tFsz4JdZ for ; Thu, 14 Sep 2023 08:26:16 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1694679976; a=rsa-sha256; cv=none; b=H2Y+2XnkFV/3N+dWPftveFahacta0I3wzI8IDvE1pgGekTVIVKA7rYraCXiI4+2MTE4+Za jpJK/o7NKAqPp6n0ilGVDvnNOUEXSdOQgLbb6bCE8pTIIGpEumWCTBTU7wm7rfyz2S217b l+/uYRVwNE8i0IckTbiHFXlBeZ3UvULE1vMyFUoOdBw7MOOYIXZRMgWvU40Oo28trzeZZo tFUESG7eT0SkmeDXe1oIvPOqvP/s/OmgKwSDr14cpKd6CvNTWz2aUUao43jl6K6X51AGE9 P1ORfmBl43aK9oHKDaOHiGHq2JvNlVwRh3f61PTvrsIZLYb7j/AbuREcJ4zwNA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1694679976; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=goXLDB08bHdyOU6VDKBooeV2UvkZi0BUhv6FukxJ/As=; b=CZEpput2ZY8n4ozfK9xI/lnY08NXpqndohST+zwb+0/Z2VNYcAGfIoku1u+qsWIdSL6nmZ AXF5AtcbmMqoJ+RbnzFJh0yxU7jPTxv/3bZtm85zqksE9/GG2DkisDQMqntpAQ7Yj7/VHM +VezONG4cCq6kvlGGishitOprpBWc4LVr82bWsa1b8X83TggW2AIt8rfR8+UN+u+gid0j5 VtAh6RvWGRxx5iuq8kBI79osyFuCmMXW3/j56lOpyZUKHjwyQc0aFbK6QlEMRILURxV9q+ b+LEjnVSeVGB6+vVW16uiI6wZNXO9fiW7hQ2uk51xcRQgfW6CKGjxY2QQl1iJQ== Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4RmVlX2qpgzq00 for ; Thu, 14 Sep 2023 08:26:16 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id 38E8QGKp045782 for ; Thu, 14 Sep 2023 08:26:16 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 38E8QGBd045781 for freebsd-arm@FreeBSD.org; Thu, 14 Sep 2023 08:26:16 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: freebsd-arm@FreeBSD.org Subject: [Bug 273773] PNVI-ae-udi memory model non-compliance Date: Thu, 14 Sep 2023 08:26:16 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Base System X-Bugzilla-Component: arm X-Bugzilla-Version: 13.2-RELEASE X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: pkk@spth.de X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: freebsd-arm@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter attachments.mimetype attachments.created Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated List-Id: Porting FreeBSD to ARM processors List-Archive: https://lists.freebsd.org/archives/freebsd-arm List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-arm@freebsd.org MIME-Version: 1.0 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D273773 Bug ID: 273773 Summary: PNVI-ae-udi memory model non-compliance Product: Base System Version: 13.2-RELEASE Hardware: arm64 OS: Any Status: New Severity: Affects Many People Priority: --- Component: arm Assignee: freebsd-arm@FreeBSD.org Reporter: pkk@spth.de Attachment #244826 text/plain mime type: Created attachment 244826 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D244826&action= =3Dedit Some sample C source to reproduce the issue I discovered this issue using the SDCC regression test suite on a Raspi 4 running FreeBSD 13.0, 13.1 and 13.2. I do not know if it affects other Free= BSD systems. The C standard does not specify a memory model, and there are ambiguities a= nd different interpretations. Years ago, this became to be seen as a problem, = and WG14 created the memory model study group. By now, there is mostly a consen= sus that the memory model called "PNVI-ae-udi" makes the most sense. While it w= ill not be put into the C standard immediately, it will be a technical specification (TS 6010). FreeBSD 13 on aarch64 currently fails three of the testcases for the PNVI-ae-udi memory model (I have not seen similar problem on GNU/Linux with recent clang and GCC). Reproduce e.g. via: philipp@raspi-aulnay:~ $ clang -Wall -pedantic -O2 test2.c test2.c:35:13: warning: unused variable 'j' [-Wunused-variable] uintptr_t j =3D (uintptr_t)q; ^ 1 warning generated. philipp@raspi-aulnay:~ $ ./a.out Assertion failed: (y =3D=3D 11), function testMM, file test2.c, line 39. Abort trap (core dumped) --=20 You are receiving this mail because: You are the assignee for the bug.=