Procedure-local enums

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4094 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-06-16 10:27:25 +00:00 · 2014-06-16 10:27:25 +00:00 · 9111516d34
parent c13b9ada48
commit 9111516d34
2 changed files with 15 additions and 0 deletions
--- a/regression/ansi-c/enum2/main.c
+++ b/regression/ansi-c/enum2/main.c
@ -0,0 +1,7 @@
+int main()
+{
+  enum { OP_FAST, OP_GLOBAL, OP_DEREF, OP_NAME };
+
+  return 0;
+}
+
--- a/regression/ansi-c/enum2/test.desc
+++ b/regression/ansi-c/enum2/test.desc
@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$