SemaphoreTake timeout does not work with gcc optimization

You may have already answered this question, but do you see the same issue when using the native FreeRTOS API exclusively?