sim-card
/
osmo-ccid-firmware
mirror of https://gerrit.osmocom.org/osmo-ccid-firmware
10
0
Fork 0
Code Issues Releases Wiki Activity

Check for osmo_fsm_register() error return value 

Change-Id: Id2556cf01341b67735fff2685d2f7532f50a4850
This commit is contained in:
Harald Welte 2019-12-01 13:30:14 +01:00
parent 1f1c1c00c0
commit 89b1e06803
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ccid_common/iso7816_fsm.c
View File

@ -1609,8 +1609,8 @@ void *iso7816_fsm_get_user_priv(struct osmo_fsm_inst *fi)
static __attribute__((constructor)) void on_dso_load_iso7816(void)
{
osmo_fsm_register(&iso7816_3_fsm);
osmo_fsm_register(&atr_fsm);
osmo_fsm_register(&tpdu_fsm);
osmo_fsm_register(&pps_fsm);
OSMO_ASSERT(osmo_fsm_register(&iso7816_3_fsm) == 0);
OSMO_ASSERT(osmo_fsm_register(&atr_fsm) == 0);
OSMO_ASSERT(osmo_fsm_register(&tpdu_fsm) == 0);
OSMO_ASSERT(osmo_fsm_register(&pps_fsm) == 0);
}