From 612fc3860a108447fe4410e723a7bbee1183c9b9 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 12 Jun 2018 14:30:16 +0000
Subject: [PATCH] C++ front-end: Type check Apple block pointers

Fixes: #1647
---
 regression/cpp/Apple_extensions1/test.desc | 4 +---
 src/cpp/cpp_typecheck_type.cpp             | 3 +++
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/regression/cpp/Apple_extensions1/test.desc b/regression/cpp/Apple_extensions1/test.desc
index a15d05875dc..a003b07b93c 100644
--- a/regression/cpp/Apple_extensions1/test.desc
+++ b/regression/cpp/Apple_extensions1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
@@ -6,5 +6,3 @@ main.cpp
 --
 ^warning: ignoring
 ^CONVERSION ERROR$
---
-This is being tracked in #1647.
diff --git a/src/cpp/cpp_typecheck_type.cpp b/src/cpp/cpp_typecheck_type.cpp
index 8c94f0dbb27..68b93d1fe03 100644
--- a/src/cpp/cpp_typecheck_type.cpp
+++ b/src/cpp/cpp_typecheck_type.cpp
@@ -252,6 +252,9 @@ void cpp_typecheckt::typecheck_type(typet &type)
   {
     // This is an Apple extension for lambda-like constructs.
     // http://thirdcog.eu/pwcblocks/
+    // we just treat them as references to functions
+    type.id(ID_frontend_pointer);
+    typecheck_type(type);
   }
   else if(type.id()==ID_nullptr)
   {