XC32 v1.42：strtod始终返回0

我将已经在ESP8266和一些ARM上运行的现有应用程序移植到PIC32MZ（更确切地说，移植到PIC32MZ2048EFM064）。我使用XC32 V1.42.原来，StRODD（）实现总是返回0。考虑一下：当strtod()返回时，val等于0，而p2被正确地设置为p+5，因此，strtod实际上解析了数字，但是由于某种原因不能返回正确的结果。知道如何解决这个问题吗？我胡乱地猜测，由于某种原因，可能禁用了双重算术，我需要一些编译器标志来启用它，但是没有：当我手动设置双重值时，它可以工作。



      以下为原文

    I'm porting existing application, which already runs on ESP8266 and some ARMs, to PIC32MZ (more precisely, to PIC32MZ2048EFM064). I use XC32 v1.42.
Turns out, strtod() implementation always returns 0. Consider:
char *p = "123.4 foo";
char *p2 = NULL;
double val = strtod(p, &p2);

When strtod() returns, val is equal to 0, whereas p2 is properly set to p + 5, so, strtod actually parses the number, but for some reason fails to return the proper result.
Any idea how to fix this?
As a wild guess I was thinking that double arithmetic might be disabled for some reason, and I need some compiler flag to enable it, but no: when I set double value manually, it works.