geogeo (./146) :
C'est pas lié au fait que free_ soit incluse dans calloc ? Car après l'appel à memset IDA s'attend à un branchement inconditionnel. Or B DMC_Deallocate_Memory se trouve dans free_ ?

free est après calloc.
calloc se termine bien par LDMED SP, {R4,R11,SP,PC}
C'est juste une erreur d'analyse (et même en faisant un Reanalyse program il n'a pas l'air de vouloir enlever automatiquement le noreturn après qu'on ait corrigé les fonctions appelées).