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

C++: Accept new dataflow IR inconsistencies

Browse Source 
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
This commit is contained in:
Jeroen Ketema
2023-08-02 15:43:40 +02:00
parent 231e9ef098
commit 91a98f3512
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected
View File

@@ -14,6 +14,9 @@ localCallNodes
postIsNotPre
postHasUniquePre
uniquePostUpdate
| example.c:24:2:24:7 | coords indirection | Node has multiple PostUpdateNodes. |
| example.c:24:13:24:18 | coords indirection | Node has multiple PostUpdateNodes. |
| example.c:26:2:26:7 | coords indirection | Node has multiple PostUpdateNodes. |
postIsInSameCallable
reverseRead
argHasPostUpdate

3
cpp/ql/test/library-tests/syntax-zoo/dataflow-ir-consistency.expected
View File

@@ -15,6 +15,7 @@ localCallNodes
postIsNotPre
postHasUniquePre
uniquePostUpdate
| allocators.cpp:4:24:4:26 | this indirection | Node has multiple PostUpdateNodes. |
| cpp11.cpp:82:17:82:17 | this indirection | Node has multiple PostUpdateNodes. |
| cpp11.cpp:82:17:82:55 | [...](...){...} indirection | Node has multiple PostUpdateNodes. |
| ir.cpp:514:10:514:11 | definition of r2 indirection | Node has multiple PostUpdateNodes. |
@@ -31,6 +32,8 @@ uniquePostUpdate
| ir.cpp:777:3:777:11 | this indirection | Node has multiple PostUpdateNodes. |
| ir.cpp:786:3:786:11 | this indirection | Node has multiple PostUpdateNodes. |
| ir.cpp:795:3:795:11 | this indirection | Node has multiple PostUpdateNodes. |
| misc.c:130:5:130:5 | s indirection | Node has multiple PostUpdateNodes. |
| misc.c:131:5:131:6 | sp indirection | Node has multiple PostUpdateNodes. |
| static_init_templates.cpp:240:7:240:7 | this indirection | Node has multiple PostUpdateNodes. |
postIsInSameCallable
reverseRead