All of lore.kernel.org
 help / color / mirror / Atom feed
From: bugzilla@dpdk.org
To: dev@dpdk.org
Subject: [Bug 1289] rte_table: lookup functions have UB for ctz
Date: Fri, 15 Sep 2023 11:49:01 +0000	[thread overview]
Message-ID: <bug-1289-3@http.bugs.dpdk.org/> (raw)

[-- Attachment #1: Type: text/plain, Size: 997 bytes --]

https://bugs.dpdk.org/show_bug.cgi?id=1289

            Bug ID: 1289
           Summary: rte_table: lookup functions have UB for ctz
           Product: DPDK
           Version: 23.11
          Hardware: x86
                OS: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: Normal
         Component: other
          Assignee: dev@dpdk.org
          Reporter: qrealka@gmail.com
  Target Milestone: ---

Macros 'lookup2_stage0_with_odd_support' can call rte_ctz with zero value
(pkt_mask), which is undefined behaviour based on the GCC manual:
 https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html

Quote: "
Built-in Function: int __builtin_ctz (unsigned int x)
Returns the number of trailing 0-bits in x, starting at the least significant
bit position. If x is 0, the result is undefined.
"

It is confirmed by checking this code in GCC-13 with ASAN.

-- 
You are receiving this mail because:
You are the assignee for the bug.

[-- Attachment #2: Type: text/html, Size: 2947 bytes --]

                 reply	other threads:[~2023-09-15 11:49 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-1289-3@http.bugs.dpdk.org/ \
    --to=bugzilla@dpdk.org \
    --cc=dev@dpdk.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.