I was tracing some wdt reset events by using the ESP exception decoder tool, and the first occurence were at the esp8266_wiring_digital.c local file at line 116, whose instructions are slightly shifted from the up to date version of this file. I suspected of some indexing issue, but it was not the case; there are indded minnor differences on my local file and the one at the official webpage, commited less than 2 months ago:
https://github.com/esp8266/Arduino/blob ... _digital.c
Interestingly, the last change seems having fixed the issue that I'm facing to ( mask GPIO interrupts while attaching/detaching ISR handler ), once those wdt resets started to happen after I have added an I/O interruption on my code, which were apparently being called reentrantly.
But, I did everything that is shown at https://github.com/esp8266/Arduino webpage, I have added the following parameter into sub-menu Additional Board Manager URLs field. Once I have added this URL many months ago, I presume that the IDE have downloaded the actual version just once, perhaps the reason of not reflecting the last version.
http://arduino.esp8266.com/stable/packa ... index.json
Am I missing some thing on that, or I have to force some updating ?