C++ operator overload over enum tag types

This commit is contained in:
Michael Tautschnig 2018-06-11 12:24:48 +00:00
parent 774060b079
commit 2f348337f2
3 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
#include <cassert>
#include <assert.h>
enum IMPH_STATE
{

View File

@ -1,4 +1,4 @@
KNOWNBUG
CORE
main.cpp
^EXIT=0$

View File

@ -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;
}