hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix QL-for-QL warnings

Browse Source
This commit is contained in:
Jeroen Ketema
2022-12-12 11:23:29 +01:00
parent 9e7b73ab4a
commit cb1dacfef1
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/SsaInternalsCommon.qll
View File

@@ -149,14 +149,14 @@ abstract class Indirection extends Type {
/**
* Holds if `deref` is an instruction that behaves as a `LoadInstruction`
* that loads the value computed by `addres`.
* that loads the value computed by `address`.
*/
predicate isAdditionalDereference(Instruction deref, Operand address) { none() }
/**
* Holds if `value` is written to the address computed by `address`.
*
* `certain` is `true` if this write is guarenteed to write to the address.
* `certain` is `true` if this write is guaranteed to write to the address.
*/
predicate isAdditionalWrite(Node0Impl value, Operand address, boolean certain) { none() }