From b2b214991d79d8a67d278e3d8f9f608579630b88 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 18 Jul 2021 10:08:32 +0200
Subject: [PATCH] gnu.cfg: Added overlapping data check to __builtin_memcpy()

---
 cfg/gnu.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 0dcc2c99c..b763fcad2 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -115,6 +115,7 @@
     <noreturn>false</noreturn>
     <returnValue type="void *"/>
     <leak-ignore/>
+    <not-overlapping-data ptr1-arg="1" ptr2-arg="2" size-arg="3"/>
     <arg nr="1" direction="out">
       <not-null/>
       <minsize type="argvalue" arg="3"/>