I updated my tool chain to GCC 9.1, latest binutils, and v7.0.0 of the MinGW-w64 CRT (with UCRT support). The problems have gone away.
I am not sure which of these fixed the issue, but my if I had to venture as guess, I'd say it is the CRT version, or binutils. > -----Original Message----- > From: Kacvinsky, Tom <tom.kacvin...@vector.com> > Sent: Tuesday, November 12, 2019 8:02 AM > To: mingw-w64-public@lists.sourceforge.net > Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool > chain > > Which version of binutils? I am using 2.32 > > > -----Original Message----- > > From: Peiyuan Song <squall...@gmail.com> > > Sent: Monday, November 11, 2019 8:47 PM > > To: mingw-w64-public@lists.sourceforge.net > > Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool > > chain > > > > I using mingw-w64 commit is 2ce6f4b1548453818fa71c89c88fed5f7f4d508b > > > > Kacvinsky, Tom <tom.kacvin...@vector.com> 于2019年11月12日周二 > 上 > > 午2:12写道： > > > > > Hi, > > > > > > > -----Original Message----- > > > > From: Peiyuan Song <squall...@gmail.com> > > > > Sent: Monday, November 11, 2019 10:16 AM > > > > To: mingw-w64-public@lists.sourceforge.net > > > > Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom > > > > tool chain > > > > > > > > I have build z3 with llvm9 + mingw64 + UCRT, it works fine. > > > > > > > > > > That, unfortunately, is not helpful. :-( > > > > > > > Kacvinsky, Tom <tom.kacvin...@vector.com> 于 2019年11月11日 > 周 > > 一 > > > > 22:31写道： > > > > > > > > > AS you know, I had to build a custom GCC toolchain with UCRT > > > > > support in the MinGW-w64. > > > > > > > > > > What I did next (aside from building our product) is build > > > > > Microsoft's > > > > > Z3 theorem prover software. > > > > > > > > > > Here is the weird thing: > > > > > > > > > > On my machine, both Z3 built with the custom MinGW-w64 toolchain > > > > > and Visual Studio 2017 work fine wit the UCRT installed on my > > > > > machine (Windows 10), but on our automation test machines > > > > > (Windows 7), there is an issue loading the libz3 DLL. The error > > > > > is that the UCRT DLL api-ms-win-crt-runtime-l1-1-0.dll fails to > > > > > load as it needs the entry calloc(). > > > > > > > > > > This is odd in the sense that from what I can see, the UCRT > > > > > library referended above doesn't have a dependency on > > > > > api-ms-win-crt-heap-l1-1-0.dll, in which calloc is defined and > > > > > exported. > > > > > > > > > > Any ideas on the next diagnostic steps. I find it strange that > > > > > Visual Studio built Z3 works on both classes of machines, but > > > > > the > > > > > MinGW-w64 built Z3 doesn't. It makes me wonder if there is an > > > > > issue with how the MinGW-w64 CRT (UCRT based) is generating the > > > > > lib files used for linking, so we have entry point errors. > > > > > > > > > > > > > > The git hash of the mingw-w64-crt repo I am using is > > > 69af6ee195e65a29acc02a49119a833606424a1b > > > if that is of any help. > > > > > > Tom > > > > > > _______________________________________________ > > > Mingw-w64-public mailing list > > > Mingw-w64-public@lists.sourceforge.net > > > https://lists.sourceforge.net/lists/listinfo/mingw-w64-public > > > > > > > _______________________________________________ > > Mingw-w64-public mailing list > > Mingw-w64-public@lists.sourceforge.net > > https://lists.sourceforge.net/lists/listinfo/mingw-w64-public > > _______________________________________________ > Mingw-w64-public mailing list > Mingw-w64-public@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/mingw-w64-public _______________________________________________ Mingw-w64-public mailing list Mingw-w64-public@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
