From 2f348337f21c5cc90e1ff5ff6a4104cce1c8fd43 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 11 Jun 2018 12:24:48 +0000
Subject: [PATCH] C++ operator overload over enum tag types

---
 regression/cpp/enum5/main.cpp  | 2 +-
 regression/cpp/enum5/test.desc | 2 +-
 src/cpp/cpp_typecheck_expr.cpp | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/regression/cpp/enum5/main.cpp b/regression/cpp/enum5/main.cpp
index 3921e5c185c..54ed4aaa306 100644
--- 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
index 5893356edf6..a003b07b93c 100644
--- 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
index 1476b0e2028..907cc802a14 100644
--- 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;
   }