Я нашел эту страницу: https://docs.microsoft.com/en-us/cpp/c-runtime-library/sal-annotations?view=vs-2017 документирование многих аннотаций SAL. Но я не могу найти аннотации SAL, которые аналогичны двум аннотациям GCC: __attribute__((fallthrough)) и __attribute__((unused))
Они где-то еще в документации по SAL, а я по ним скучаю?
Есть ли другой способ (если SAL не будет работать), чтобы получить те же функции из MS C?