Merge pull request #93 from ian-semmle/underlyingElement

jbj · web-flow · commit 4536d75b2f3f · 2018-08-28T15:24:16.000+02:00
C++: Add a missing underlyingElement call
diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Cast.qll b/cpp/ql/src/semmle/code/cpp/exprs/Cast.qll
@@ -297,7 +297,7 @@ class BoolConversion extends Cast {
  */
 class VoidConversion extends Cast {
   VoidConversion() {
-    conversionkinds(this, 0) and
+    conversionkinds(underlyingElement(this), 0) and
     getType().getUnspecifiedType() instanceof VoidType
   }
 

Original file line number	Diff line number	Diff line change
`@@ -297,7 +297,7 @@ class BoolConversion extends Cast {`
`297`	`297`	`*/`
`298`	`298`	`class VoidConversion extends Cast {`
`299`	`299`	`VoidConversion() {`
`300`		`- conversionkinds(this, 0) and`
	`300`	`+ conversionkinds(underlyingElement(this), 0) and`
`301`	`301`	`getType().getUnspecifiedType() instanceof VoidType`
`302`	`302`	`}`
`303`	`303`