gnu.cfg: Added overlapping data check to __builtin_memcpy()

2021-07-18 10:08:32 +02:00 · 2021-07-18 10:08:32 +02:00 · b2b214991d
parent 6ae9486fd0
commit b2b214991d
1 changed files with 1 additions and 0 deletions
--- 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"/>