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

fix HashCons for typeid of type

Browse Source
This commit is contained in:
Robert Marsh
2018-08-30 15:02:57 -07:00
parent c42ecfe8f9
commit 2d098fed98
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/valuenumbering/HashCons.qll
View File

@@ -704,7 +704,7 @@ private predicate mk_UuidofOperator(Type t, UuidofOperator e) {
}
private predicate analyzableTypeidType(TypeidOperator e) {
strictcount(e.getAChild()) = 0
count(e.getAChild()) = 0
}
private predicate mk_TypeidType(Type t, TypeidOperator e) {