From 7ffa7031b1a10251f2d1c0c1e5fa15b50be3ebdd Mon Sep 17 00:00:00 2001
From: chrchr-github <noreply@github.com>
Date: Fri, 14 Aug 2026 19:39:00 +0200
Subject: [PATCH] Fix  #14976 FP uninitvar (std::size() used on array)

---
 cfg/std.cfg      | 4 +---
 test/cfg/std.cpp | 5 +++++
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 4662d0a4632..6c434b8715c 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -8343,9 +8343,7 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
     <leak-ignore/>
     <container yields="size"/>
     <returnValue type="size_t"/>
-    <arg nr="1" direction="in">
-      <not-uninit/>
-    </arg>
+    <arg nr="1" direction="in" indirect="0"/>
   </function>
   <function name="std::ssize">
     <noreturn>false</noreturn>
diff --git a/test/cfg/std.cpp b/test/cfg/std.cpp
index 850dd74b997..e4753a09f7c 100644
--- a/test/cfg/std.cpp
+++ b/test/cfg/std.cpp
@@ -5071,6 +5071,11 @@ int f_constVariable_std_begin() {
     return arr[0];
 }
 
+std::size_t uninitvar_std_size() { // #14976
+    int a[3];
+    return std::size(a);
+}
+
 void smartPtr_get()
 {
     std::unique_ptr<int> p;