diff --git a/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_K82F/drivers/fsl_flash.c b/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_K82F/drivers/fsl_flash.c
index fff64ed74a..c9de4ecfe9 100644
--- a/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_K82F/drivers/fsl_flash.c
+++ b/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_K82F/drivers/fsl_flash.c
@@ -2734,11 +2734,12 @@ void flash_cache_clear(flash_config_t *config)
     __DSB();
 #endif /* FLASH_DRIVER_IS_FLASH_RESIDENT */
 }
+#if (defined(__GNUC__))
+/* #pragma GCC pop_options */
+#else
 #if (defined(__CC_ARM))
 #pragma pop
 #endif
-#if (defined(__GNUC__))
-/* #pragma GCC pop_options */
 #endif
 
 #if FLASH_DRIVER_IS_FLASH_RESIDENT
diff --git a/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_MCU_K64F/drivers/fsl_flash.c b/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_MCU_K64F/drivers/fsl_flash.c
index fff64ed74a..c9de4ecfe9 100644
--- a/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_MCU_K64F/drivers/fsl_flash.c
+++ b/targets/TARGET_Freescale/TARGET_MCUXpresso_MCUS/TARGET_MCU_K64F/drivers/fsl_flash.c
@@ -2734,11 +2734,12 @@ void flash_cache_clear(flash_config_t *config)
     __DSB();
 #endif /* FLASH_DRIVER_IS_FLASH_RESIDENT */
 }
+#if (defined(__GNUC__))
+/* #pragma GCC pop_options */
+#else
 #if (defined(__CC_ARM))
 #pragma pop
 #endif
-#if (defined(__GNUC__))
-/* #pragma GCC pop_options */
 #endif
 
 #if FLASH_DRIVER_IS_FLASH_RESIDENT