Update cpp/ql/src/semmle/code/cpp/Type.qll

criemen · MathiasVP · web-flow · commit 5d80417854a9 · 2020-11-26T10:39:17.000+01:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/Type.qll b/cpp/ql/src/semmle/code/cpp/Type.qll
@@ -579,11 +579,7 @@ class BoolType extends IntegralType {
  */
 class CharType extends IntegralType {
   CharType() {
-    builtintypes(underlyingElement(this), _, 5, _, _, _)
-    or
-    builtintypes(underlyingElement(this), _, 6, _, _, _)
-    or
-    builtintypes(underlyingElement(this), _, 7, _, _, _)
+    builtintypes(underlyingElement(this), _, [5, 6, 7], _, _, _)
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -579,11 +579,7 @@ class BoolType extends IntegralType {`
`579`	`579`	`*/`
`580`	`580`	`class CharType extends IntegralType {`
`581`	`581`	`CharType() {`
`582`		`- builtintypes(underlyingElement(this), _, 5, _, _, _)`
`583`		`- or`
`584`		`- builtintypes(underlyingElement(this), _, 6, _, _, _)`
`585`		`- or`
`586`		`- builtintypes(underlyingElement(this), _, 7, _, _, _)`
	`582`	`+ builtintypes(underlyingElement(this), _, [5, 6, 7], _, _, _)`
`587`	`583`	`}`
`588`	`584`	`}`
`589`	`585`