diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 97f562b75..95616a87e 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -59,6 +59,23 @@
0:
+
+
+
+ false
+ arg1
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/test/cfg/gnu.c b/test/cfg/gnu.c
index f4895e16e..f85c7a781 100644
--- a/test/cfg/gnu.c
+++ b/test/cfg/gnu.c
@@ -108,12 +108,16 @@ int no_resourceLeak_mkostemp_02(char *template, int flags)
return mkostemp(template, flags);
}
-void valid_code(int argInt1, va_list valist_arg)
+void valid_code(int argInt1, va_list valist_arg, int * parg)
{
char *p;
if (__builtin_expect(argInt1, 0)) {}
if (__builtin_expect_with_probability(argInt1 + 1, 2, 0.5)) {}
+ void *ax1 = __builtin_assume_aligned(parg, 16);
+ printf("%p", ax1);
+ void *ax2 = __builtin_assume_aligned(parg, 32, 8);
+ printf("%p", ax2);
p = (char *)malloc(10);
free(p);