Средства и методы разработки

Сделали из указателя __CACHE_REGION_SIZE целое число? Я бы сравнивал без преобразования типа, 

(__CACHE_REGION_SIZE==NULL)

Или, если вы забыли разыменовать указатель, то правильно было бы:

uint32_t size = __CACHE_REGION_SIZE[0];

В общем, баги при повышении степени оптимизации, в подавляющем большинстве случаев - ошибка в коде пользователя, а не в коде компилятора.