From 60de5e12dd3633132b8e43a01de0210d1ac93eb7 Mon Sep 17 00:00:00 2001
From: Sebastian <versat@users.noreply.github.com>
Date: Mon, 14 Oct 2019 20:59:38 +0200
Subject: [PATCH] gnu.cfg: Add configuration for __alignof__() (#2268)

Reference: https://gcc.gnu.org/onlinedocs/gcc-6.2.0/gcc/Alignment.html
---
 cfg/gnu.cfg    | 11 +++++++++++
 test/cfg/gnu.c |  2 ++
 2 files changed, 13 insertions(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index a4c590bcd..295a45706 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -110,6 +110,17 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- https://gcc.gnu.org/onlinedocs/gcc-6.2.0/gcc/Alignment.html -->
+  <!-- __alignof__ is used like sizeof -->
+  <!-- Declaration for this GNU compiler extension could look like this: -->
+  <!-- size_t __alignof__(type); -->
+  <!-- size_t __alignof__(expression); -->
+  <function name="__alignof__">
+    <noreturn>false</noreturn>
+    <use-retval/>
+    <leak-ignore/>
+    <arg nr="1" direction="in"/>
+  </function>
   <!-- int timerisset(struct timeval *tvp); -->
   <function name="timerisset">
     <noreturn>false</noreturn>
diff --git a/test/cfg/gnu.c b/test/cfg/gnu.c
index 8ff21b700..80c3fd5a6 100644
--- a/test/cfg/gnu.c
+++ b/test/cfg/gnu.c
@@ -146,6 +146,8 @@ void valid_code(int argInt1, va_list valist_arg, int * parg)
 
     printf("%d", 0b010);
     printf("%d", __extension__ 0b10001000);
+
+    if (__alignof__(int) == 4) {}
 }
 
 void ignoreleak(void)