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

Merge pull request #3374 from jbj/PartialDefinition-refactor

Browse Source 
C++: Refactor `PartialDefinition` charpred
This commit is contained in:
Mathias Vorreiter Pedersen
2020-04-29 13:03:40 +02:00
committed by GitHub
parent de3fa8e68b 796041af72
commit 8a1d96b313
3 changed files with 35 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/test/library-tests/dataflow/partialdefinitions/partialdefinitions.ql
View File

@@ -1,4 +1,5 @@
import semmle.code.cpp.dataflow.internal.FlowVar
from PartialDefinition def
select def, def.getDefinedExpr(), def.getSubBasicBlockStart()
select def.getActualLocation().toString(), "partial def of " + def.toString(), def.getDefinedExpr(),
def.getSubBasicBlockStart()