Skip to content

Commit 36aa808

Browse files
committed
Support _Complex in the C++ front-end
We typecheck this via the same code path as the C front-end, and just need to accept that this type exists. Clang-14 uses _Complex in system headers, thereby exercising this code path.
1 parent 58f9a9d commit 36aa808

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/cpp/cpp_typecheck_type.cpp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -276,6 +276,10 @@ void cpp_typecheckt::typecheck_type(typet &type)
276276
{
277277
c_typecheck_baset::typecheck_type(type);
278278
}
279+
else if(type.id() == ID_complex)
280+
{
281+
// already done
282+
}
279283
else
280284
{
281285
error().source_location=type.source_location();

0 commit comments

Comments
 (0)