this should be abstract

jsinglet · jsinglet · commit cd61fb47530f · 2021-06-10T19:54:58.000-04:00
diff --git a/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll b/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll
@@ -66,7 +66,7 @@ class Ptrdiff_t extends Type {
 /**
  * A parent class representing C/C++ a typedef'd `UserType` such as `int8_t`.
  */
-private class IntegralUnderlyingUserType extends UserType {
+private abstract class IntegralUnderlyingUserType extends UserType {
   IntegralUnderlyingUserType() { this.getUnderlyingType() instanceof IntegralType }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ class Ptrdiff_t extends Type {`
`66`	`66`	`/**`
`67`	`67`	* A parent class representing C/C++ a typedef'd `UserType` such as `int8_t`.
`68`	`68`	`*/`
`69`		`-private class IntegralUnderlyingUserType extends UserType {`
	`69`	`+private abstract class IntegralUnderlyingUserType extends UserType {`
`70`	`70`	`IntegralUnderlyingUserType() { this.getUnderlyingType() instanceof IntegralType }`
`71`	`71`	`}`
`72`	`72`