hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 03:36:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix Code Scanning errors.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-02-08 17:01:07 +00:00
parent 1dfddaf9ab
commit f7d1544ccf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -948,8 +948,8 @@ private Type getTypeImpl0(Type t, int indirectionIndex) {
// Such a type would create an infinite loop otherwise. For these cases we // Such a type would create an infinite loop otherwise. For these cases we
// simply don't produce a result for `getTypeImpl`. // simply don't produce a result for `getTypeImpl`.
// To be on the safe side, we check whether the _unspecified_ type has // To be on the safe side, we check whether the _unspecified_ type has
// changed since this also prevents an infinite loop for occuring when // changed since this also prevents an infinite loop when `stripped` and
// `stripped` and `t` only differ by const'ness or volatile'ness. // `t` only differ by const'ness or volatile'ness.
stripped.getUnspecifiedType() != t.getUnspecifiedType() and stripped.getUnspecifiedType() != t.getUnspecifiedType() and
result = getTypeImpl0(stripped, indirectionIndex - 1) result = getTypeImpl0(stripped, indirectionIndex - 1)
) )