C++ operator overload over enum tag types

NathanJPhillips · Jun 11, 2018 · 2f34833 · 2f34833
1 parent 774060b
commit 2f34833
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/regression/cpp/enum5/main.cpp b/regression/cpp/enum5/main.cpp
@@ -1,4 +1,4 @@
-#include <cassert>
+#include <assert.h>
 
 enum IMPH_STATE
 {

diff --git a/regression/cpp/enum5/test.desc b/regression/cpp/enum5/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

diff --git a/src/cpp/cpp_typecheck_expr.cpp b/src/cpp/cpp_typecheck_expr.cpp
@@ -433,7 +433,7 @@ bool cpp_typecheckt::overloadable(const exprt &expr)
 
     if(t.id()==ID_struct ||
        t.id()==ID_union ||
-       t.id()==ID_c_enum)
+       t.id()==ID_c_enum || t.id() == ID_c_enum_tag)
       return true;
   }