gnu.cfg: Ensure the return value of pipe2() is taken into account.

2019-05-03 22:15:46 +02:00 · 2019-05-03 22:15:46 +02:00 · 92be62a6eb
parent cda25d7205
commit 92be62a6eb
1 changed files with 1 additions and 0 deletions
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@ -120,6 +120,7 @@
  <function name="pipe2">
    <returnValue type="int"/>
    <noreturn>false</noreturn>
+    <use-retval/>
    <arg nr="1" direction="out">
      <not-null/>
      <not-bool/>