`A8-4-9`: Some template functions report variables as not used when they are
还没有人认领这个 Issue。
评估
调研方向
首先定位规则 A8-4-9 的实现和测试，然后检查查询如何处理所提供 C++ 示例中的未实例化模板。使用该示例尽可能重现报告的问题；完成的标准是，此类模板中的已读和已写参数不会被错误地报告为未使用，同时有效的发现仍然保留。
由索引模型根据 Issue 内容生成。
描述
Affected rules
A8-4-9
Description
We have user reports of this query reporting read and written parameters as "not used". We do not have a reproduction case, but I believe we could start be excluding results on the uninstantiated template, as that copy of the function is "incomplete".
Example
template <typename T>
constexpr void swap(T& lhs, T& rhs) {
auto temp = std::move(lhs);
lhs = std::move(rhs);
rhs = std::move(temp);
}
- 主要语言
- CodeQL
- 星标
- 227
- 派生
- 82
- 平均合并
- 6 天 7 小时
- 30 天内合并 PR
- 9
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
github/codeql-coding-standards 的其他 Issue
-
false positive/false negative Stardard-MISRA-C++
难度 2/5 1-3 小时 新手友好度 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
难度 2/5 1-3 小时 新手友好度 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
难度 4/5 3-5 天 新手友好度 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph 未关闭false positive/false negative
难度 4/5 3-5 天 新手友好度 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
难度 3/5 1-2 天 新手友好度 65/100
github/codeql-coding-standards#1175 ·
查看 github/codeql-coding-standards 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
supermomonga/zcode-acp#24 ·
-
bug
难度 2/5 1-3 小时 新手友好度 90/100
learningequality/ricecooker#747 ·
-
难度 2/5 1-3 小时 新手友好度 84/100
KhronosGroup/glTF-Blender-IO#2769 ·
-
难度 2/5 1-3 小时 新手友好度 68/100
-
难度 2/5 1-3 小时 新手友好度 88/100