Merge pull request #718 from NlightNFotis/bugdemo/static_inline

Added tests that demonstrate the issue with static inline c functions.

Author: Daniel Kroening

regression/ansi-c/static_inline1/main.c

@@ -0,0 +1,11 @@
+inline static int fun(int a)
+{
+    return a+1;
+}
+
+int main(int argc, char *argv[])
+{
+    fun(5);
+    return 0;
+}
+

regression/ansi-c/static_inline1/test.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+
+--
+^warning: ignoring

regression/ansi-c/static_inline2/main.c

@@ -0,0 +1,4 @@
+inline static int fun(int a)
+{
+    return a+1;
+}

regression/ansi-c/static_inline2/test.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+main.c
+--function fun
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+
+--
+^warning: ignoring