we answered to your question, as soon as it was forwarded in our internal ticketing system. So here it is:
our team is aware of these compiling errors. It will be fixed in a later version. For the moment, the customer can use ARMCC compiler v5 (which compile without errors with this code) or replace the code in cmsis_misra.h inside the function CMSIS_Irq_Dis().