C++: Accept changes in UncontrolledFormatString test following aliased SSA removal

Author: igfoo

cpp/ql/test/query-tests/Security/CWE/CWE-134/semmle/ifs/ifs.expected

@@ -1,4 +1,7 @@
 edges
+| ifs.c:16:27:16:30 | **argv | ifs.c:43:3:43:14 | *... = ... | provenance |  |
+| ifs.c:16:27:16:30 | **argv | ifs.c:49:3:49:14 | *... = ... | provenance |  |
+| ifs.c:16:27:16:30 | **argv | ifs.c:55:3:55:14 | *... = ... | provenance |  |
 | ifs.c:16:27:16:30 | **argv | ifs.c:61:3:61:14 | *... = ... | provenance |  |
 | ifs.c:16:27:16:30 | **argv | ifs.c:68:3:68:14 | *... = ... | provenance |  |
 | ifs.c:16:27:16:30 | **argv | ifs.c:74:3:74:14 | *... = ... | provenance |  |
@@ -10,6 +13,9 @@ edges
 | ifs.c:16:27:16:30 | **argv | ifs.c:111:3:111:14 | *... = ... | provenance |  |
 | ifs.c:16:27:16:30 | **argv | ifs.c:117:3:117:14 | *... = ... | provenance |  |
 | ifs.c:16:27:16:30 | **argv | ifs.c:123:3:123:14 | *... = ... | provenance |  |
+| ifs.c:43:3:43:14 | *... = ... | ifs.c:44:9:44:10 | *c4 | provenance |  |
+| ifs.c:49:3:49:14 | *... = ... | ifs.c:50:9:50:10 | *c5 | provenance |  |
+| ifs.c:55:3:55:14 | *... = ... | ifs.c:56:9:56:10 | *c6 | provenance |  |
 | ifs.c:61:3:61:14 | *... = ... | ifs.c:62:9:62:10 | *c7 | provenance |  |
 | ifs.c:68:3:68:14 | *... = ... | ifs.c:69:9:69:10 | *c8 | provenance |  |
 | ifs.c:74:3:74:14 | *... = ... | ifs.c:75:9:75:10 | *i1 | provenance |  |
@@ -23,6 +29,12 @@ edges
 | ifs.c:123:3:123:14 | *... = ... | ifs.c:124:9:124:10 | *i9 | provenance |  |
 nodes
 | ifs.c:16:27:16:30 | **argv | semmle.label | **argv |
+| ifs.c:43:3:43:14 | *... = ... | semmle.label | *... = ... |
+| ifs.c:44:9:44:10 | *c4 | semmle.label | *c4 |
+| ifs.c:49:3:49:14 | *... = ... | semmle.label | *... = ... |
+| ifs.c:50:9:50:10 | *c5 | semmle.label | *c5 |
+| ifs.c:55:3:55:14 | *... = ... | semmle.label | *... = ... |
+| ifs.c:56:9:56:10 | *c6 | semmle.label | *c6 |
 | ifs.c:61:3:61:14 | *... = ... | semmle.label | *... = ... |
 | ifs.c:62:9:62:10 | *c7 | semmle.label | *c7 |
 | ifs.c:68:3:68:14 | *... = ... | semmle.label | *... = ... |
@@ -47,6 +59,9 @@ nodes
 | ifs.c:124:9:124:10 | *i9 | semmle.label | *i9 |
 subpaths
 #select
+| ifs.c:44:9:44:10 | *c4 | ifs.c:16:27:16:30 | **argv | ifs.c:44:9:44:10 | *c4 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |
+| ifs.c:50:9:50:10 | *c5 | ifs.c:16:27:16:30 | **argv | ifs.c:50:9:50:10 | *c5 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |
+| ifs.c:56:9:56:10 | *c6 | ifs.c:16:27:16:30 | **argv | ifs.c:56:9:56:10 | *c6 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |
 | ifs.c:62:9:62:10 | *c7 | ifs.c:16:27:16:30 | **argv | ifs.c:62:9:62:10 | *c7 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |
 | ifs.c:69:9:69:10 | *c8 | ifs.c:16:27:16:30 | **argv | ifs.c:69:9:69:10 | *c8 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |
 | ifs.c:75:9:75:10 | *i1 | ifs.c:16:27:16:30 | **argv | ifs.c:75:9:75:10 | *i1 | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | ifs.c:16:27:16:30 | **argv | a command-line argument |