fix HashCons for typeid of type

rdmarsh2 · rdmarsh2 · commit fce931a10786 · 2018-08-30T15:02:57.000-07:00
diff --git a/cpp/ql/src/semmle/code/cpp/valuenumbering/HashCons.qll b/cpp/ql/src/semmle/code/cpp/valuenumbering/HashCons.qll
@@ -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) {

Original file line number	Diff line number	Diff line change
`@@ -704,7 +704,7 @@ private predicate mk_UuidofOperator(Type t, UuidofOperator e) {`
`704`	`704`	`}`
`705`	`705`
`706`	`706`	`private predicate analyzableTypeidType(TypeidOperator e) {`
`707`		`- strictcount(e.getAChild()) = 0`
	`707`	`+ count(e.getAChild()) = 0`
`708`	`708`	`}`
`709`	`709`
`710`	`710`	`private predicate mk_TypeidType(Type t, TypeidOperator e) {`