我找到了以下页面：https://docs.microsoft.com/en-us/cpp/c-runtime-library/sal-annotations?view=vs-2017记录了许多SAL批注。但是我似乎找不到与两个GCC注释类似的SAL注释：<html>
<head>
<title></title>
</head>
<body>
<div id="content"></div>
</body>
</html>和__attribute__((fallthrough))
它们在SAL文档中是否位于其他位置，我是否想念它们？
是否还有其他方法（如果SAL无法使用）从MS C中获得相同的功能？