Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 40fb59d

Browse files
MathiasVPMathiasVP
committed
C++: Add gnu iterator models to regain TP.
1 parent c8f3c1a commit 40fb59d

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

‎cpp/ql/lib/ext/std.iterator.model.yml‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,8 @@ extensions:
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
66
- ["std", "iterator", True, "operator*", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
7-
- ["std", "iterator", True, "operator->", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
7+
- ["std", "iterator", True, "operator->", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
8+
- ["std", "iterator", True, "iterator", "", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
9+
- ["__gnu_cxx", "__normal_iterator", True, "operator*", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
10+
- ["__gnu_cxx", "__normal_iterator", True, "operator->", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
11+
- ["__gnu_cxx", "__normal_iterator", True, "__normal_iterator", "", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]

0 commit comments

Comments
 (0)