github
diff --git a/‎cpp/autosar/src/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.ql
+3-1Lines changed: 3 additions & 1 deletion b/‎cpp/autosar/src/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.ql
+3-1Lines changed: 3 additions & 1 deletion
diff --git a/‎cpp/autosar/test/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.expected
-2Lines changed: 0 additions & 2 deletions b/‎cpp/autosar/test/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A14-5-2/NonTemplateMemberDefinedInTemplate.expected
-2Lines changed: 0 additions & 2 deletions
diff --git a/‎cpp/autosar/test/rules/A14-5-2/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A14-5-2/test.cpp
+3-3Lines changed: 3 additions & 3 deletions b/‎cpp/autosar/test/rules/A14-5-2/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A14-5-2/test.cpp
+3-3Lines changed: 3 additions & 3 deletions
@@ -167,7 +167,9 @@ where
         mf = c.getAMemberFunction() and not mf.isCompilerGenerated() and not exists(mf.getBlock())
       )
     )
-  )
+  ) and
+  // Omit using alias (cf. https://github.com/github/codeql-coding-standards/issues/739)
+  not d instanceof UsingAliasTypedefType
 select d,
   "Member " + d.getName() + " template class does not use any of template arguments of its $@.",
   d.getDeclaringType(), "declaring type"
@@ -1,5 +1,3 @@
-| test.cpp:10:9:10:10 | T1 | Member T1 template class does not use any of template arguments of its $@. | test.cpp:6:29:6:30 | C1<T> | declaring type |
-| test.cpp:11:9:11:10 | T2 | Member T2 template class does not use any of template arguments of its $@. | test.cpp:6:29:6:30 | C1<T> | declaring type |
 | test.cpp:28:31:28:33 | C12<N> | Member C12<N> template class does not use any of template arguments of its $@. | test.cpp:6:29:6:30 | C1<T> | declaring type |
 | test.cpp:45:7:45:8 | a1 | Member a1 template class does not use any of template arguments of its $@. | test.cpp:37:31:37:33 | C22<N> | declaring type |
 | test.cpp:46:9:46:10 | a2 | Member a2 template class does not use any of template arguments of its $@. | test.cpp:37:31:37:33 | C22<N> | declaring type |
 
@@ -7,8 +7,8 @@ template <typename T> class C1 {
 public:
   enum E1 : T { e1, e2 }; // COMPLIANT
 
-  using T1 = typename template_base<T>::type;   // COMPLIANT[FALSE_POSITIVE]
-  using T2 = typename template_base<int>::type; // NON_COMPLIANT
+  using T1 = typename template_base<T>::type;   // COMPLIANT
+  using T2 = typename template_base<int>::type; // NON_COMPLIANT[FALSE_NEGATIVE]
 
   class C11 { // COMPLIANT
     enum E2 {
@@ -156,4 +156,4 @@ template <J::Type t> class V {
 void f4() {
   V<J::Type::A> v;
   v.type();
-}
+}
Original file line number	Diff line number	Diff line change
`@@ -167,7 +167,9 @@ where`
`167`	`167`	`mf = c.getAMemberFunction() and not mf.isCompilerGenerated() and not exists(mf.getBlock())`
`168`	`168`	`)`
`169`	`169`	`)`
`170`		`- )`
	`170`	`+ ) and`
	`171`	`+ // Omit using alias (cf. https://github.com/github/codeql-coding-standards/issues/739)`
	`172`	`+ not d instanceof UsingAliasTypedefType`
`171`	`173`	`select d,`
`172`	`174`	`"Member " + d.getName() + " template class does not use any of template arguments of its $@.",`
`173`	`175`	`d.getDeclaringType(), "declaring type"`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-\| test.cpp:10:9:10:10 \| T1 \| Member T1 template class does not use any of template arguments of its $@. \| test.cpp:6:29:6:30 \| C1<T> \| declaring type \|`
`2`		`-\| test.cpp:11:9:11:10 \| T2 \| Member T2 template class does not use any of template arguments of its $@. \| test.cpp:6:29:6:30 \| C1<T> \| declaring type \|`
`3`	`1`	`\| test.cpp:28:31:28:33 \| C12<N> \| Member C12<N> template class does not use any of template arguments of its $@. \| test.cpp:6:29:6:30 \| C1<T> \| declaring type \|`
`4`	`2`	`\| test.cpp:45:7:45:8 \| a1 \| Member a1 template class does not use any of template arguments of its $@. \| test.cpp:37:31:37:33 \| C22<N> \| declaring type \|`
`5`	`3`	`\| test.cpp:46:9:46:10 \| a2 \| Member a2 template class does not use any of template arguments of its $@. \| test.cpp:37:31:37:33 \| C22<N> \| declaring type \|`