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

[K20, LCP1768, F100RB] asserts corrections

pull/316/head
0xc0170 2014-05-21 14:33:42 +01:00
parent 906a6745a9
commit 0306d52fc5
3 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libraries/mbed/targets/hal/TARGET_Freescale/TARGET_K20D5M/serial_api.c
View File

@ -117,7 +117,7 @@ void serial_baud(serial_t *obj, int baudrate) {
void serial_format(serial_t *obj, int data_bits, SerialParity parity, int stop_bits) {
assert((stop_bits == 1) || (stop_bits == 2));
assert(parity < (ParityEven + 1));
assert((parity == ParityEven) || (parity == ParityOdd) || (parity == ParityEven));
assert((data_bits == 8) || (data_bits == 9));
assert((data_bits == 2) && (obj->index != 0));

2
libraries/mbed/targets/hal/TARGET_NXP/TARGET_LPC176X/analogout_api.c
View File

@ -26,7 +26,7 @@ static const PinMap PinMap_DAC[] = {
void analogout_init(dac_t *obj, PinName pin) {
obj->dac = (DACName)pinmap_peripheral(pin, PinMap_DAC);
assert(obj->dac == (DACName)NC);
assert(obj->dac != (DACName)NC);
// power is on by default, set DAC clk divider is /4
LPC_SC->PCLKSEL0 &= ~(0x3 << 22);

7
libraries/mbed/targets/hal/TARGET_STM/TARGET_DISCO_F100RB/gpio_object.h
View File

@ -49,9 +49,7 @@ typedef struct {
} gpio_t;
static inline void gpio_write(gpio_t *obj, int value) {
if (obj->pin == (PinName)NC)
return;
assert(obj->pin != (PinName)NC);
if (value) {
*obj->reg_set = obj->mask;
}
@ -61,8 +59,7 @@ static inline void gpio_write(gpio_t *obj, int value) {
}
static inline int gpio_read(gpio_t *obj) {
if (obj->pin == (PinName)NC)
return 0;
assert(obj->pin != (PinName)NC);
return ((*obj->reg_in & obj->mask) ? 1 : 0);
}