ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Silence GCC

pull/1501/head
Steven Cooreman 2016-01-05 16:24:16 +01:00
parent dc2e6317ba
commit b4c171802e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libraries/mbed/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/gpio_api.c
View File

@ -55,7 +55,7 @@ int gpio_read(gpio_t *obj)
int gpio_is_connected(const gpio_t *obj)
{
return (obj->pin | 0xFFFFFF00 )!= (PinName)NC;
return ((uint32_t)obj->pin | 0xFFFFFF00 ) != (uint32_t)((PinName)NC);
}
/*

2
libraries/mbed/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/rtc_api.c
View File

@ -272,7 +272,7 @@ void rtc_write(time_t t)
do {
time = rtc_read_uncompensated();
time_base = t - time;
} while (time != rtc_read_uncompensated());
} while (time != (uint32_t)rtc_read_uncompensated());
}
#endif