GR PEACH strange behavior when using InterruptIn

[sarahmarshy]

#include "mbed.h"

DigitalOut led1(LED1);
InterruptIn irq_data(P2_14); 

// main() runs in its own thread in the OS
// (note the calls to wait below for delays)
int main() {
    while (true) {
        led1 = !led1;
        wait(0.5);
    }
}

This will prevent the LED from blinking. This pin is listed as an acceptable GPIO IRQ pin here. It does not print the warning "pinmap not found for peripheral" that would indicate that the pin is not supported for this operation.

Should it be removed from this list?

Inspired by this question: https://developer.mbed.org/questions/76869/GR_Peach-libraries-broken/#answer12005

[0xc0170]

cc @TomoYamanaka

[TomoYamanaka]

@sarahmarshy

I will check this issue, so please wait a moment.

[TomoYamanaka]

@sarahmarshy

Sorry for this late reply.
I identified the cause for this issue. It seems not enough the contents that I modified in #3289.
I will PR against this issue soon, contact you after I PR.

[TomoYamanaka]

@sarahmarshy

PR about this issue is here.
#3803

[ghost]

GitHib issue review: Closed due to inactivity. Please re-file if critical issues found.