Microsoft SAL аннотации для двух атрибутов GCC?

Question

Я нашел эту страницу: 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?