diff --git a/tests/syntax/oracle/multiple_static.res.oracle b/tests/syntax/oracle/multiple_static.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..28a79a6a931ddd7b91ddd106b4c0677cde6f4ade --- /dev/null +++ b/tests/syntax/oracle/multiple_static.res.oracle @@ -0,0 +1,18 @@ +[kernel] Parsing multiple_static.i (no preprocessing) +[kernel] Parsing multiple_static_2.i (no preprocessing) +/* Generated by Frama-C */ +__inline static int hash(int a, int b) +{ + int __retres; + __retres = 0; + return __retres; +} + +__inline static int hash_0(int a) +{ + int __retres; + __retres = 0; + return __retres; +} + + diff --git a/tests/syntax/oracle/multiple_static_2.res.oracle b/tests/syntax/oracle/multiple_static_2.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..76154ee95135a167b84a67db05811180525a9dd8 --- /dev/null +++ b/tests/syntax/oracle/multiple_static_2.res.oracle @@ -0,0 +1,18 @@ +[kernel] Parsing multiple_static_2.i (no preprocessing) +[kernel] Parsing multiple_static.i (no preprocessing) +/* Generated by Frama-C */ +__inline static int hash(int a) +{ + int __retres; + __retres = 0; + return __retres; +} + +__inline static int hash_0(int a, int b) +{ + int __retres; + __retres = 0; + return __retres; +} + +