{"id":2225768,"url":"http://patchwork.ozlabs.org/api/patches/2225768/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/CAAAu3XupCN6npxzHpXqqEHOZoBFNNU5oGuxuzVrZgeC-WOkYqQ@mail.gmail.com/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"","list_archive_url":null,"date":"2026-04-21T14:57:06","name":"[v2] c-family: Emit -Wsizeof-pointer-memaccess even without builtin recognition [PR c/124967]","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"a942b41abedb506cdcd032659821618ef21bae90","submitter":{"id":93197,"url":"http://patchwork.ozlabs.org/api/people/93197/?format=json","name":"Naveen Iyer","email":"iyernaveenr@gmail.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/CAAAu3XupCN6npxzHpXqqEHOZoBFNNU5oGuxuzVrZgeC-WOkYqQ@mail.gmail.com/mbox/","series":[{"id":500832,"url":"http://patchwork.ozlabs.org/api/series/500832/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=500832","date":"2026-04-21T14:57:06","name":"[v2] c-family: Emit -Wsizeof-pointer-memaccess even without builtin recognition [PR c/124967]","version":2,"mbox":"http://patchwork.ozlabs.org/series/500832/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2225768/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2225768/checks/","tags":{},"related":[],"headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=irY5Rblo;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=irY5Rblo","sourceware.org;\n dmarc=pass (p=none dis=none) header.from=gmail.com","sourceware.org; spf=pass smtp.mailfrom=gmail.com","server2.sourceware.org;\n arc=pass smtp.remote-ip=209.85.215.179"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g0QSv0RPSz1yJG\n\tfor ; Wed, 22 Apr 2026 00:57:49 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 8C4E14BA9011\n\tfor ; Tue, 21 Apr 2026 14:57:47 +0000 (GMT)","from mail-pg1-f179.google.com (mail-pg1-f179.google.com\n [209.85.215.179])\n by sourceware.org (Postfix) with ESMTPS id CA7F44BA23C8\n for ; Tue, 21 Apr 2026 14:57:18 +0000 (GMT)","by mail-pg1-f179.google.com with SMTP id\n 41be03b00d2f7-c70c112cb61so2913077a12.0\n for ; Tue, 21 Apr 2026 07:57:18 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 8C4E14BA9011","OpenDKIM Filter v2.11.0 sourceware.org CA7F44BA23C8"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org CA7F44BA23C8","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org CA7F44BA23C8","ARC-Seal":["i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1776783439; cv=pass;\n b=EjMWKkYwS8HIUhsvgrGMWFXNTE8zWco2KhOxdhOL/bVAyITUM/qY9cRFfKqkXL6peDlIyc67Ka/aJVb1mejeqTJrJCyWXqYdI62JD5e0MI7WqIS7gYusTmkD7Zqrt5fYXIk51TUwwO+RiXjhHjOEo+L0HSKeHg27grJ692xeDcw=","i=1; a=rsa-sha256; t=1776783438; cv=none;\n d=google.com; s=arc-20240605;\n b=R8lTptQ5tqlcMK/lqWyU3aWEnkVK/siaG974t+81uZsVB+GIKiAz17gkmMokYS0QyP\n HbsZgTh4TAniFAbcmZG893IS+cQ+r95s3ZvHHBixmgp/m9NtK4aNdIRwcrmjxAYUr77L\n akR6ZFBvw26HmlGW7elnbIRrbGyx+BL7EdjKMyY8/PNEbbXioVRJI64GDsE6YIcgk2mj\n MPz8rqvsE8MOrZ1b9kP57duGS+rcxlXj6Q0y7xGvYMmfL1DFxrEejG1oxfrJmMtG7VON\n T3WwqYCbf4rbWEvxEdtXbkaN7L+jMcBsK4mVzEHYPo4z5xxe1lk+MGHzvKDDB7q6YAfi\n vwLw=="],"ARC-Message-Signature":["i=2; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776783439; c=relaxed/simple;\n bh=527c8ITsfWouo1COXDsxZmVnUHyNQpxj+wpR+orA7BY=;\n h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To;\n b=HrnLGrJBaYQXyKyL1qey4t5II6ArUUcjsBT4dyAVfWKQQunqsC+eXYnbcB+qOSgtdStXaguqpoJQ59j6PETGGUgPW9UgB9h+1dlEYlnjoL7hK0okNKnWOfOG/JkLQlWGn7Lb0f9Vg9Qhy7E7sVrtMC8MuJjMPaauVi2F2Kci3s0=","i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com;\n s=arc-20240605;\n h=cc:to:subject:message-id:date:from:in-reply-to:references\n :mime-version:dkim-signature;\n bh=O/Z+ZJc8ZVWVNv4B98cnZPA0jtuYgE9mFpuvPtciHBs=;\n fh=OthBmRYlB89Mng6Qslh5Tnl/0kfuiWtXeF62oS/vgP4=;\n b=cc28WA/1gFYwYZXcq3K6z39AeitJpJ4NQLFrIBkhB9qvCmGA2ZJ4fFV+Q1IKbEXsWc\n QRao7Kj0d6R5Yf9GcF5pSxg1kHtOm/1aNJzgpLm9l7WYkK9zrKM9npWft+e6TECAY5Kj\n ifh4dyVrF+qwdwVQBoM9cmroZsZSID+Sl4mpijPexnL7OsbdGljWypeWsKf7510KVc9w\n +46IZu/TeygWhxZdDBi8fSEjK2R1eC57hHxwiEH7XiJIhH6UdSLi9O4V65Ji6uXvpDAj\n kCbppUq8OnqJaIT/n8pxFEOOrc52OhCJCpGLB+WlAqOfkIRqt1WksvkwtBX9YG2jE+ek\n O/0g==; darn=gcc.gnu.org"],"ARC-Authentication-Results":["i=2; server2.sourceware.org","i=1; mx.google.com; arc=none"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20251104; t=1776783438; x=1777388238; darn=gcc.gnu.org;\n h=cc:to:subject:message-id:date:from:in-reply-to:references\n :mime-version:from:to:cc:subject:date:message-id:reply-to;\n bh=O/Z+ZJc8ZVWVNv4B98cnZPA0jtuYgE9mFpuvPtciHBs=;\n b=irY5Rblo4FhIyg1i20eEH77YH75Ql9a2H5N86C5fY37oG8DoVl3/Q/XEoH9cUTNhGx\n r+JECPQ8kWdyR7WeId5n4HhpBOjLR8edUvwZ4SFHr+PxJdI2bWmYAuOQ+MelnpIySwHW\n VYgi5u9SyIga4QCe6GzObM3g62altCFe1NirTVZ04gHroYG/LxjYt9NfQLK9tSjiWIEM\n OfE3ColsXX1MVZnCxcMw04JPcaQnmyef2/YL2P4yw80qczeY/nIbdtrchVyqL/WmOoQP\n y8dCqU1A25fCScSGWN7mI58ZlyEAlXRo257fvGNIF6R4SmcClWG1wKyowWJr3FPzRh0m\n T19A==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776783438; x=1777388238;\n h=cc:to:subject:message-id:date:from:in-reply-to:references\n :mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject:date\n :message-id:reply-to;\n bh=O/Z+ZJc8ZVWVNv4B98cnZPA0jtuYgE9mFpuvPtciHBs=;\n b=sR2OdFtg0qH0cBW8VVb4ZBeeksKegKDvc9c9rESO3UkoHmoNmfdHWvwZ3CmRaCBq4J\n vfnTGC4gMPcFjYDret3/YrdAYL4+bhQ1iQvUhgprBPncKNkCFWGZ0K5od/y1O7lrf474\n QZ+yI5nfcHJ8Wu0FlCI2pjgPQ3ovF21r0TsMbgSdVFNhEeVMTq7vQWzTr261TWq+25go\n jCZUBqzQMDaAH7IUDgiW/rno2CVqnVfZLdON082uVdDKsRGtd57jyBDcC4GuRzBRGAbr\n TY0n50XAgrY47fDU8GnrX0XMX6xc2HhjWYq2QZZW4ALC94xMJijPFnbhVKLJ3GAc2JmI\n KbPw==","X-Gm-Message-State":"AOJu0YxLdDhIIcOA3ktvSipvUvix5MOHrq1IHBpDn0x7NCGqcql13RiG\n g8503iv/X9qZrclHcHG20pK6jcckvRU1uwAjVIFTPjTyUlWEukl6RrFTHoIvkOmcS+dbnEYvmOI\n SmpkLDIC9ywT2F6mT0MiUxfcEMWJ6/J/fR5xg","X-Gm-Gg":"AeBDiesienQzq1MF66N3rH9wJRMmunWHhU3xq2RTptodI8KxhMU3QDz8u3MBH5V53DM\n 6TJDw0aym2xEJamZhbbebxtyyb7quz7BrNAuc7g5zdUTrUKmiEAKIQYI44SWnJ23Cxw57Safr04\n cdJRUthjTRYyxzLH6sUwMEvuQ+24Z7iRZ9tf/uA136VOafiolcMpTZHjljgltFGkI+xTpTw2Bcu\n 5XAgBqiqrcSr2aqipdbAfo9isddkNk0kIhSg5x/VC/QW2w03CQfYIAeh+2AydzPbfp4lFyuImO+\n rATOCZmZyKC6jHnppCLTupvL//Ga+PGBD7DneCpZfNImerTTjr+h3eMKZzHdGeZDPux0LlVd2lf\n ll0Ipu8J/WLmwpBlX+8+q5sFYpng3HZv+VBsVpA==","X-Received":"by 2002:a05:6a21:7612:b0:39b:ba95:b127 with SMTP id\n adf61e73a8af0-3a08d6ee909mr16842804637.4.1776783437751; Tue, 21 Apr 2026\n 07:57:17 -0700 (PDT)","MIME-Version":"1.0","References":"\n \n ","In-Reply-To":"\n ","From":"Naveen Iyer ","Date":"Tue, 21 Apr 2026 09:57:06 -0500","X-Gm-Features":"AQROBzCVZQvznvJjH10dk0wVwG0BtUgrnTAC6r-e4r8hfS6OfkJcZLXrMfGk1gI","Message-ID":"\n ","Subject":"[PATCH v2] c-family: Emit -Wsizeof-pointer-memaccess even without\n builtin recognition [PR c/124967]","To":"gcc-patches@gcc.gnu.org","Cc":"josmyers@redhat.com, polacek@redhat.com, jakub@redhat.com,\n Naveen Iyer ","Content-Type":"multipart/mixed; boundary=\"000000000000a72f0b064ff9a107\"","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"v2: no code changes; only adds the PR reference to the subject line,\ncommit message, and ChangeLog entries.\n\nBugzilla: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124967\n\nAdding CC for relevant maintainers (already CCed on v1 forward; keeping\nthem on v2 for visibility).\n\nThanks,\nNaveen","diff":"From 229071ce5733509f59d82783c3dd23be9c229b48 Mon Sep 17 00:00:00 2001\nIn-Reply-To: \nReferences: \nFrom: \"Naveen R. Iyer\" \nDate: Mon, 20 Apr 2026 18:16:47 -0500\nSubject: [PATCH v2] c-family: Emit -Wsizeof-pointer-memaccess even without\n builtin recognition [PR c/124967]\n\nWhen -fno-builtin is in effect, functions like memcpy, memset, and\nmemmove are not recognized as built-in functions, causing\nsizeof_pointer_memaccess_warning to bail out early and silently\nsuppress the diagnostic. This is a problem for embedded and\nfreestanding code compiled with -fno-builtin, where sizeof(pointer)\nbugs in memory and string function calls go undetected.\n\nAdd a fallback path that matches by function name when the callee\nis not recognized as a built-in, so the warning fires regardless\nof -fno-builtin.\n\nPR c/124967\n\ngcc/c-family/ChangeLog:\n\nPR c/124967\n* c-warn.cc (sizeof_pointer_memaccess_warning): When the callee\nis not a recognized built-in, fall back to matching by function\nname for the set of memory and string functions covered by\n-Wsizeof-pointer-memaccess. Replace use of fncode for the\nBUILT_IN_STRNDUP exclusion with a bool flag.\n\ngcc/testsuite/ChangeLog:\n\nPR c/124967\n* c-c++-common/Wsizeof-pointer-memaccess5.c: New test.\n---\n gcc/c-family/c-warn.cc | 242 ++++++++++++------\n .../c-c++-common/Wsizeof-pointer-memaccess5.c | 40 +++\n 2 files changed, 210 insertions(+), 72 deletions(-)\n create mode 100644 gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c\n\ndiff --git a/gcc/c-family/c-warn.cc b/gcc/c-family/c-warn.cc\nindex 8fc0d8a53b35..f19deda8d17f 100644\n--- a/gcc/c-family/c-warn.cc\n+++ b/gcc/c-family/c-warn.cc\n@@ -782,87 +782,185 @@ sizeof_pointer_memaccess_warning (location_t *sizeof_arg_loc, tree callee,\n {\n tree type, dest = NULL_TREE, src = NULL_TREE, tem;\n bool strop = false, cmp = false;\n+ bool is_strndup = false;\n unsigned int idx = ~0;\n location_t loc;\n \n if (TREE_CODE (callee) != FUNCTION_DECL\n- || !fndecl_built_in_p (callee, BUILT_IN_NORMAL)\n || vec_safe_length (params) <= 1)\n return;\n \n- enum built_in_function fncode = DECL_FUNCTION_CODE (callee);\n- switch (fncode)\n+ if (fndecl_built_in_p (callee, BUILT_IN_NORMAL))\n {\n- case BUILT_IN_STRNCMP:\n- case BUILT_IN_STRNCASECMP:\n- cmp = true;\n- /* FALLTHRU */\n- case BUILT_IN_STRNCPY:\n- case BUILT_IN_STRNCPY_CHK:\n- case BUILT_IN_STRNCAT:\n- case BUILT_IN_STRNCAT_CHK:\n- case BUILT_IN_STPNCPY:\n- case BUILT_IN_STPNCPY_CHK:\n- strop = true;\n- /* FALLTHRU */\n- case BUILT_IN_MEMCPY:\n- case BUILT_IN_MEMCPY_CHK:\n- case BUILT_IN_MEMMOVE:\n- case BUILT_IN_MEMMOVE_CHK:\n- if (params->length () < 3)\n-\treturn;\n- src = (*params)[1];\n- dest = (*params)[0];\n- idx = 2;\n- break;\n- case BUILT_IN_BCOPY:\n- if (params->length () < 3)\n-\treturn;\n- src = (*params)[0];\n- dest = (*params)[1];\n- idx = 2;\n- break;\n- case BUILT_IN_MEMCMP:\n- case BUILT_IN_BCMP:\n- if (params->length () < 3)\n-\treturn;\n- src = (*params)[1];\n- dest = (*params)[0];\n- idx = 2;\n- cmp = true;\n- break;\n- case BUILT_IN_MEMSET:\n- case BUILT_IN_MEMSET_CHK:\n- if (params->length () < 3)\n+ enum built_in_function fncode = DECL_FUNCTION_CODE (callee);\n+ switch (fncode)\n+\t{\n+\tcase BUILT_IN_STRNCMP:\n+\tcase BUILT_IN_STRNCASECMP:\n+\t cmp = true;\n+\t /* FALLTHRU */\n+\tcase BUILT_IN_STRNCPY:\n+\tcase BUILT_IN_STRNCPY_CHK:\n+\tcase BUILT_IN_STRNCAT:\n+\tcase BUILT_IN_STRNCAT_CHK:\n+\tcase BUILT_IN_STPNCPY:\n+\tcase BUILT_IN_STPNCPY_CHK:\n+\t strop = true;\n+\t /* FALLTHRU */\n+\tcase BUILT_IN_MEMCPY:\n+\tcase BUILT_IN_MEMCPY_CHK:\n+\tcase BUILT_IN_MEMMOVE:\n+\tcase BUILT_IN_MEMMOVE_CHK:\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t break;\n+\tcase BUILT_IN_BCOPY:\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[0];\n+\t dest = (*params)[1];\n+\t idx = 2;\n+\t break;\n+\tcase BUILT_IN_MEMCMP:\n+\tcase BUILT_IN_BCMP:\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t cmp = true;\n+\t break;\n+\tcase BUILT_IN_MEMSET:\n+\tcase BUILT_IN_MEMSET_CHK:\n+\t if (params->length () < 3)\n+\t return;\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t break;\n+\tcase BUILT_IN_BZERO:\n+\t dest = (*params)[0];\n+\t idx = 1;\n+\t break;\n+\tcase BUILT_IN_STRNDUP:\n+\t src = (*params)[0];\n+\t strop = true;\n+\t is_strndup = true;\n+\t idx = 1;\n+\t break;\n+\tcase BUILT_IN_MEMCHR:\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[0];\n+\t idx = 2;\n+\t break;\n+\tcase BUILT_IN_SNPRINTF:\n+\tcase BUILT_IN_SNPRINTF_CHK:\n+\tcase BUILT_IN_VSNPRINTF:\n+\tcase BUILT_IN_VSNPRINTF_CHK:\n+\t dest = (*params)[0];\n+\t idx = 1;\n+\t strop = true;\n+\t break;\n+\tdefault:\n+\t break;\n+\t}\n+ }\n+ else\n+ {\n+ /* When -fno-builtin is in effect, the callee is not recognized as\n+\t a built-in. Fall back to matching by function name so that\n+\t -Wsizeof-pointer-memaccess still fires. */\n+ tree id = DECL_NAME (callee);\n+ if (!id)\n \treturn;\n- dest = (*params)[0];\n- idx = 2;\n- break;\n- case BUILT_IN_BZERO:\n- dest = (*params)[0];\n- idx = 1;\n- break;\n- case BUILT_IN_STRNDUP:\n- src = (*params)[0];\n- strop = true;\n- idx = 1;\n- break;\n- case BUILT_IN_MEMCHR:\n- if (params->length () < 3)\n+ const char *name = IDENTIFIER_POINTER (id);\n+ if (strcmp (name, \"strncmp\") == 0\n+\t || strcmp (name, \"strncasecmp\") == 0)\n+\t{\n+\t cmp = true;\n+\t strop = true;\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"strncpy\") == 0\n+\t || strcmp (name, \"strncat\") == 0\n+\t || strcmp (name, \"stpncpy\") == 0)\n+\t{\n+\t strop = true;\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"memcpy\") == 0\n+\t || strcmp (name, \"memmove\") == 0)\n+\t{\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"bcopy\") == 0)\n+\t{\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[0];\n+\t dest = (*params)[1];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"memcmp\") == 0\n+\t || strcmp (name, \"bcmp\") == 0)\n+\t{\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[1];\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t cmp = true;\n+\t}\n+ else if (strcmp (name, \"memset\") == 0)\n+\t{\n+\t if (params->length () < 3)\n+\t return;\n+\t dest = (*params)[0];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"bzero\") == 0)\n+\t{\n+\t dest = (*params)[0];\n+\t idx = 1;\n+\t}\n+ else if (strcmp (name, \"strndup\") == 0)\n+\t{\n+\t src = (*params)[0];\n+\t strop = true;\n+\t is_strndup = true;\n+\t idx = 1;\n+\t}\n+ else if (strcmp (name, \"memchr\") == 0)\n+\t{\n+\t if (params->length () < 3)\n+\t return;\n+\t src = (*params)[0];\n+\t idx = 2;\n+\t}\n+ else if (strcmp (name, \"snprintf\") == 0\n+\t || strcmp (name, \"vsnprintf\") == 0)\n+\t{\n+\t dest = (*params)[0];\n+\t idx = 1;\n+\t strop = true;\n+\t}\n+ else\n \treturn;\n- src = (*params)[0];\n- idx = 2;\n- break;\n- case BUILT_IN_SNPRINTF:\n- case BUILT_IN_SNPRINTF_CHK:\n- case BUILT_IN_VSNPRINTF:\n- case BUILT_IN_VSNPRINTF_CHK:\n- dest = (*params)[0];\n- idx = 1;\n- strop = true;\n- break;\n- default:\n- break;\n }\n \n if (idx >= 3)\n@@ -886,7 +984,7 @@ sizeof_pointer_memaccess_warning (location_t *sizeof_arg_loc, tree callee,\n \t argument rather than the destination unless they are equal\n \t to one another. Handle constant sizes and also try to handle\n \t sizeof expressions involving VLAs. */\n- if (strop && !cmp && fncode != BUILT_IN_STRNDUP && src)\n+ if (strop && !cmp && !is_strndup && src)\n \t{\n \t tem = tree_strip_nop_conversions (src);\n \t if (TREE_CODE (tem) == ADDR_EXPR)\ndiff --git a/gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c b/gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c\nnew file mode 100644\nindex 000000000000..5f4ad38f5f7b\n--- /dev/null\n+++ b/gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c\n@@ -0,0 +1,40 @@\n+/* Test -Wsizeof-pointer-memaccess warnings with -fno-builtin. */\n+/* { dg-do compile } */\n+/* { dg-options \"-Wall -fno-builtin\" } */\n+\n+typedef __SIZE_TYPE__ size_t;\n+#ifdef __cplusplus\n+extern \"C\" {\n+#endif\n+extern void *memcpy (void *, const void *, size_t);\n+extern void *memmove (void *, const void *, size_t);\n+extern void *memset (void *, int, size_t);\n+extern char *strncpy (char *, const char *, size_t);\n+extern char *strncat (char *, const char *, size_t);\n+#ifdef __cplusplus\n+}\n+#endif\n+\n+struct A { int x; int y; };\n+\n+void\n+f1 (struct A *dst, const struct A *src)\n+{\n+ memcpy (dst, src, sizeof (dst));\t/* { dg-warning \"call is the same expression as the destination; did you mean to dereference it\" } */\n+ memmove (dst, src, sizeof (dst));\t/* { dg-warning \"call is the same expression as the destination; did you mean to dereference it\" } */\n+ memcpy (dst, src, sizeof (src));\t/* { dg-warning \"call is the same expression as the source; did you mean to dereference it\" } */\n+ memmove (dst, src, sizeof (src));\t/* { dg-warning \"call is the same expression as the source; did you mean to dereference it\" } */\n+}\n+\n+void\n+f2 (struct A *p)\n+{\n+ memset (p, 0, sizeof (p));\t\t/* { dg-warning \"call is the same expression as the destination; did you mean to dereference it\" } */\n+}\n+\n+void\n+f3 (char *dst, const char *src)\n+{\n+ strncpy (dst, src, sizeof (dst));\t/* { dg-warning \"call is the same expression as the destination; did you mean to provide an explicit length\" } */\n+ strncat (dst, src, sizeof (dst));\t/* { dg-warning \"call is the same expression as the destination; did you mean to provide an explicit length\" } */\n+}\n-- \n2.43.0\n\n","prefixes":["v2"]}