Mais c'est aussi une généralité de l'embarqué certifié: on n'aime pas les options d'optimisations de la compilation, et en l'occurrence la release était en -O2 parce qu'on est limite en mémoire, et c'est ça qui doit être coupable (en plus du sous-contractant qui a codé le driver, bien sûr), donc au pire il y aura désactivation de l'optimisation pour ce module si on ne trouve pas le problème et basta.