Update cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll

geoffw0 · jbj · web-flow · commit 258b61c5f89e · 2020-08-20T12:53:23.000+01:00
Co-authored-by: Jonas Jensen &lt;jbj@github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll
@@ -25,7 +25,7 @@ class StdSequenceContainerConstructor extends Constructor, TaintFunction {
    * value type of the container.
    */
   int getAValueTypeParameterIndex() {
-    getParameter(result).getType().getUnspecifiedType().(ReferenceType).getBaseType() =
+    getParameter(result).getUnspecifiedType().(ReferenceType).getBaseType() =
       getDeclaringType().getTemplateArgument(0) // i.e. the `T` of this `std::vector<T>`
   }
 

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ class StdSequenceContainerConstructor extends Constructor, TaintFunction {`
`25`	`25`	`* value type of the container.`
`26`	`26`	`*/`
`27`	`27`	`int getAValueTypeParameterIndex() {`
`28`		`- getParameter(result).getType().getUnspecifiedType().(ReferenceType).getBaseType() =`
	`28`	`+ getParameter(result).getUnspecifiedType().(ReferenceType).getBaseType() =`
`29`	`29`	getDeclaringType().getTemplateArgument(0) // i.e. the `T` of this `std::vector<T>`
`30`	`30`	`}`
`31`	`31`