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

[CPP-418] Update references to BuiltInOperationBuiltInOffsetOf and __builtin_offsetof.

Browse Source
This commit is contained in:
Ziemowit Laski
2019-09-16 16:54:21 -07:00
committed by Geoffrey White
parent 6eac51dba4
commit faf4342d8e
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/commons/Buffer.qll
View File

@@ -44,7 +44,7 @@ predicate memberMayBeVarSize(Class c, MemberVariable v) {
aoe.getAddressable() = v
)
or
exists(BuiltInOperationOffsetOf oo |
exists(BuiltInOperationBuiltInOffsetOf oo |
// `offsetof(c, v)` using a builtin
oo.getAChild().(VariableAccess).getTarget() = v
)

2
cpp/ql/src/semmle/code/cpp/controlflow/internal/CFG.qll
View File

@@ -132,7 +132,7 @@ private predicate excludeNodeAndNodesBelow(Expr e) {
* control flow in them.
*/
private predicate excludeNodesStrictlyBelow(Node n) {
n instanceof BuiltInOperationOffsetOf
n instanceof BuiltInOperationBuiltInOffsetOf
or
n instanceof BuiltInIntAddr
or

2
cpp/ql/test/library-tests/builtins/edg/expr.expected
View File

@@ -1,5 +1,5 @@
| edg.c:12:14:12:51 | (int)... | 0 | 0 |
| edg.c:12:14:12:51 | __offsetof | 1 | 1 |
| edg.c:12:14:12:51 | __builtin_offsetof | 1 | 1 |
| edg.c:12:49:12:50 | f2 | 0 | 0 |
| edg.c:13:14:13:45 | 0 | 0 | 0 |
| edg.c:13:14:13:45 | & ... | 0 | 0 |