http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52123
--- Comment #9 from Daniel Starke <daniel.f.starke at freenet dot de> 2013-02-06 17:04:21 UTC --- This will probably not fix all problems with ada on mingw. My last tests with 4.7.2 made me also need to patch this: diff -uart gcc-4.7.2-original/gcc/ada/tracebak.c gcc-4.7.2/gcc/ada/tracebak.c --- gcc-4.7.2-original/gcc/ada/tracebak.c 2011-10-24 10:31:30 +0000 +++ gcc-4.7.2/gcc/ada/tracebak.c 2012-09-23 15:26:50 +0000 @@ -326,7 +326,7 @@ #if defined (__WIN32) #include <windows.h> -#define IS_BAD_PTR(ptr) (IsBadCodePtr((void *)ptr)) +#define IS_BAD_PTR(ptr) (IsBadCodePtr((FARPROC)ptr)) #elif defined (sun) #define IS_BAD_PTR(ptr) ((unsigned long)ptr == -1UL) #else