Accept data flow consistency test results

go/ql/test/consistency/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/experimental/CWE-285/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,70 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function AcctMgmt | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Authenticate | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ChangeAuthTok | Node should have one location but has 0. |
+| file://:0:0:0:0 | function CloseSession | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Error | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Error | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetEnv | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetEnvList | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetItem | Node should have one location but has 0. |
+| file://:0:0:0:0 | function OpenSession | Node should have one location but has 0. |
+| file://:0:0:0:0 | function PutEnv | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetCred | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetItem | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StartFunc | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 53 |
+localFlowIsLocal
+| file://:0:0:0:0 | function AcctMgmt | main.go:25:9:25:18 | selection of AcctMgmt | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Authenticate | main.go:13:9:13:22 | selection of Authenticate | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Authenticate | main.go:21:8:21:21 | selection of Authenticate | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StartFunc | main.go:10:10:10:22 | selection of StartFunc | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StartFunc | main.go:18:12:18:24 | selection of StartFunc | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:10:24:10:25 | "" | ArgumentNode is missing PostUpdateNode. |
+| main.go:10:28:10:29 | "" | ArgumentNode is missing PostUpdateNode. |
+| main.go:13:24:13:24 | 0 | ArgumentNode is missing PostUpdateNode. |
+| main.go:18:26:18:27 | "" | ArgumentNode is missing PostUpdateNode. |
+| main.go:18:30:18:31 | "" | ArgumentNode is missing PostUpdateNode. |
+| main.go:21:23:21:23 | 0 | ArgumentNode is missing PostUpdateNode. |
+| main.go:25:20:25:20 | 0 | ArgumentNode is missing PostUpdateNode. |

go/ql/test/extractor-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,24 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |
+argHasPostUpdate
+| broken2/test1.go:4:14:4:16 | "a" | ArgumentNode is missing PostUpdateNode. |
+| broken2/test1.go:5:14:5:14 | a | ArgumentNode is missing PostUpdateNode. |

go/ql/test/extractor-tests/empty-interface/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/go-mod-comments/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/go1.13/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/go1.14/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/go1.17/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,60 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Add | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Alignof | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Offsetof | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sizeof | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Slice | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SliceData | Node should have one location but has 0. |
+| file://:0:0:0:0 | function String | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StringData | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 43 |
+localFlowIsLocal
+| conversions.go:5:6:5:8 | function use | conversions.go:11:2:11:4 | use | Local flow step does not preserve enclosing callable. |
+| conversions.go:5:6:5:8 | function use | conversions.go:18:2:18:4 | use | Local flow step does not preserve enclosing callable. |
+| conversions.go:5:6:5:8 | function use | conversions.go:23:2:23:4 | use | Local flow step does not preserve enclosing callable. |
+| conversions.go:5:6:5:8 | function use | conversions.go:25:2:25:4 | use | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Add | conversions.go:10:7:10:16 | selection of Add | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Slice | conversions.go:14:11:14:22 | selection of Slice | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| conversions.go:10:21:10:22 | 10 | ArgumentNode is missing PostUpdateNode. |
+| conversions.go:11:2:11:7 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| conversions.go:14:29:14:30 | 20 | ArgumentNode is missing PostUpdateNode. |
+| conversions.go:18:2:18:9 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| conversions.go:23:2:23:11 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| conversions.go:25:2:25:11 | []type{args} | ArgumentNode is missing PostUpdateNode. |

go/ql/test/extractor-tests/html/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/no-intermediate-strings/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/robustness/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/extractor-tests/tolerate-curly-braces/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/Decl/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/Files/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,24 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function A | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 19 |
+localFlowIsLocal
+| file://:0:0:0:0 | function A | a.go:6:2:6:14 | selection of A | Local flow step does not preserve enclosing callable. |

go/ql/test/library-tests/semmle/go/GoModExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/aliases/DataflowFields/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,48 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| embedding.go:28:6:28:14 | function GEmbedded | embedding.go:24:2:24:10 | GEmbedded | Local flow step does not preserve enclosing callable. |
+| simple.go:6:6:6:11 | function source | embedding.go:21:7:21:12 | source | Local flow step does not preserve enclosing callable. |
+| simple.go:6:6:6:11 | function source | simple.go:15:7:15:12 | source | Local flow step does not preserve enclosing callable. |
+| simple.go:7:6:7:9 | function sink | embedding.go:30:2:30:5 | sink | Local flow step does not preserve enclosing callable. |
+| simple.go:7:6:7:9 | function sink | simple.go:24:2:24:5 | sink | Local flow step does not preserve enclosing callable. |
+| simple.go:22:6:22:6 | function G | simple.go:18:2:18:2 | G | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| embedding.go:30:7:30:22 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| simple.go:24:7:24:26 | selection of field | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/aliases/InterfaceImpls/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,47 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| test.go:11:2:11:12 | function ImplementMe | test.go:57:2:57:19 | selection of ImplementMe | Local flow step does not preserve enclosing callable. |
+| test.go:14:6:14:11 | function source | test.go:56:14:56:19 | source | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:20:70:20:73 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:25:65:25:68 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:32:54:32:57 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:39:60:39:63 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:46:72:46:75 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:15:6:15:9 | function sink | test.go:53:70:53:73 | sink | Local flow step does not preserve enclosing callable. |

go/ql/test/library-tests/semmle/go/aliases/MethodDefs/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,37 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+| methods.go:10:22:10:22 | function F | Node should have one location but has 2. |
+| methods.go:11:22:11:22 | function F | Node should have one location but has 2. |
+| methods.go:12:22:12:22 | function F | Node should have one location but has 2. |
+| methods.go:13:22:13:22 | function F | Node should have one location but has 2. |
+missingLocation
+| Nodes without location: 23 |
+localFlowIsLocal
+| methods.go:10:22:10:22 | function F | methods.go:16:2:16:9 | selection of F | Local flow step does not preserve enclosing callable. |
+| methods.go:11:22:11:22 | function F | methods.go:16:2:16:9 | selection of F | Local flow step does not preserve enclosing callable. |
+| methods.go:12:22:12:22 | function F | methods.go:17:2:17:9 | selection of F | Local flow step does not preserve enclosing callable. |
+| methods.go:13:22:13:22 | function F | methods.go:17:2:17:9 | selection of F | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| methods.go:16:11:16:13 | arg | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/aliases/defsuses/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,29 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 26 |

go/ql/test/library-tests/semmle/go/dataflow/ArrayConversion/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,52 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| main.go:3:6:3:11 | function source | main.go:17:9:17:14 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:25:9:25:14 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:19:2:19:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:20:2:20:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:21:2:21:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:27:2:27:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:28:2:28:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:19:7:19:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:20:7:20:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:26:7:26:10 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:10 | index expression | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/ChannelField/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,43 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| test.go:20:6:20:11 | function source | test.go:15:10:15:15 | source | Local flow step does not preserve enclosing callable. |
+| test.go:26:6:26:9 | function sink | test.go:9:2:9:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| test.go:9:7:9:11 | <-... | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,204 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodIEmbedI1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function ExtraMethodIEmbedI2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Source | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Step | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 79 |
+localFlowIsLocal
+| file://:0:0:0:0 | function Sink | test_methods.go:10:2:10:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:16:2:16:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:22:2:22:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:28:2:28:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:34:2:34:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:40:2:40:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:46:2:46:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:52:2:52:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:58:2:58:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:64:2:64:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:70:2:70:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:76:2:76:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:82:2:82:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:88:2:88:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:94:2:94:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:100:2:100:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:106:2:106:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:112:2:112:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:118:2:118:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:124:2:124:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:130:2:130:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:136:2:136:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:142:2:142:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:148:2:148:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:154:2:154:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:160:2:160:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:166:2:166:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink | test_methods.go:172:2:172:7 | selection of Sink | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:8:7:8:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:14:7:14:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:20:7:20:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:26:7:26:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:32:7:32:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:38:7:38:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:44:7:44:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:50:7:50:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:56:7:56:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:62:7:62:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:68:7:68:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:74:7:74:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:80:7:80:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:86:7:86:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:92:7:92:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:98:7:98:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:104:7:104:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:110:7:110:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:116:7:116:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:122:7:122:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:128:7:128:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:134:7:134:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:140:7:140:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:146:7:146:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:152:7:152:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:158:7:158:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:164:7:164:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Source | test_methods.go:170:7:170:14 | selection of Source | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:9:7:9:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:15:7:15:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:21:7:21:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:27:7:27:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:33:7:33:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:39:7:39:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:45:7:45:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:51:7:51:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:57:7:57:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:63:7:63:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:69:7:69:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:75:7:75:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:81:7:81:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:87:7:87:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:93:7:93:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:99:7:99:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:105:7:105:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:111:7:111:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:117:7:117:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:123:7:123:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:129:7:129:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:135:7:135:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:141:7:141:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:147:7:147:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:153:7:153:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:159:7:159:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:165:7:165:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Step | test_methods.go:171:7:171:12 | selection of Step | Local flow step does not preserve enclosing callable. |
+reverseRead
+| test_methods.go:44:7:44:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:45:7:45:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:46:2:46:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:50:7:50:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:51:7:51:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:52:2:52:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:92:7:92:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:93:7:93:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:94:2:94:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:98:7:98:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:99:7:99:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:100:2:100:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:104:7:104:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:105:7:105:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:106:2:106:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:110:7:110:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:111:7:111:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:112:2:112:2 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:140:7:140:7 | implicit read of field SEmbedI1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:141:7:141:7 | implicit read of field SEmbedI1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:142:2:142:2 | implicit read of field SEmbedI1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:146:7:146:7 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:147:7:147:7 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:148:2:148:2 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:152:7:152:7 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:153:7:153:7 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:154:2:154:2 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:158:7:158:7 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:159:7:159:7 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:160:2:160:2 | implicit read of field SEmbedS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:164:7:164:7 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:165:7:165:7 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:166:2:166:2 | implicit read of field SEmbedPtrS1 | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:170:7:170:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:171:7:171:7 | t | Origin of readStep is missing a PostUpdateNode. |
+| test_methods.go:172:2:172:2 | t | Origin of readStep is missing a PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowVarArgs/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,82 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithSliceOfStructsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithSliceParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 40 |
+localFlowIsLocal
+| file://:0:0:0:0 | function FunctionWithParameter | main.go:16:7:16:32 | selection of FunctionWithParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithParameter | main.go:24:7:24:32 | selection of FunctionWithParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithSliceOfStructsParameter | main.go:35:7:35:46 | selection of FunctionWithSliceOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithSliceParameter | main.go:25:7:25:37 | selection of FunctionWithSliceParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | main.go:36:7:36:48 | selection of FunctionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | main.go:37:7:37:48 | selection of FunctionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | main.go:26:7:26:39 | selection of FunctionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | main.go:27:7:27:39 | selection of FunctionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:15:7:15:12 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:18:26:18:31 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:22:8:22:13 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:29:37:29:42 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:33:22:33:27 | source | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:16:2:16:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:19:2:19:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:24:2:24:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:25:2:25:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:27:2:27:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:30:2:30:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:35:2:35:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:36:2:36:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:37:2:37:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:16:7:16:35 | call to FunctionWithParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:16:34:16:34 | s | ArgumentNode is missing PostUpdateNode. |
+| main.go:19:7:19:20 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:24:7:24:43 | call to FunctionWithParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:24:34:24:42 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:25:7:25:45 | call to FunctionWithSliceParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:26:7:26:50 | call to FunctionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:47 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:47 | call to FunctionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:30:7:30:29 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| main.go:35:7:35:54 | call to FunctionWithSliceOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:36:7:36:59 | call to FunctionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:37:7:37:56 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:37:7:37:56 | call to FunctionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/ExternalTaintFlow/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,243 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 4 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 4 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Get | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetElement | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetMapKey | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetThroughPointer | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Set | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetElement | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetThroughPointer | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SinkManyArgs | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SinkMethod | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src3 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src3 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SrcArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SrcArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArgIgnored | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgQual | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgRes1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResArrayContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResNoQual | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepQualArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepQualRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 75 |
+localFlowIsLocal
+| file://:0:0:0:0 | function Get | test.go:168:10:168:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Get | test.go:172:10:172:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Get | test.go:177:10:177:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetElement | test.go:103:10:103:24 | selection of GetElement | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetMapKey | test.go:117:10:117:23 | selection of GetMapKey | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:184:10:184:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:188:10:188:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:193:10:193:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:164:2:164:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:171:2:171:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:175:2:175:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:176:2:176:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetElement | test.go:112:19:112:33 | selection of SetElement | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:180:2:180:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:187:2:187:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:191:2:191:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:192:2:192:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:48:2:48:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:62:2:62:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:65:2:65:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:69:2:69:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:73:2:73:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:77:2:77:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:80:2:80:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:84:2:84:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:87:2:87:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:90:2:90:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:92:3:92:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:95:3:95:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:100:2:100:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:103:2:103:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:104:2:104:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:106:3:106:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:109:3:109:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:114:2:114:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:117:2:117:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:119:3:119:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:122:3:122:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:125:3:125:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:128:3:128:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:133:2:133:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:136:2:136:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:138:3:138:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:141:3:141:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:146:2:146:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:150:2:150:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:156:2:156:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:161:2:161:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:165:2:165:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:168:2:168:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:172:2:172:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:177:2:177:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:181:2:181:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:184:2:184:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:188:2:188:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:193:2:193:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:206:2:206:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SinkManyArgs | test.go:199:2:199:15 | selection of SinkManyArgs | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SinkMethod | test.go:49:2:49:24 | selection of SinkMethod | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:39:8:39:13 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:59:9:59:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:102:46:102:51 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:112:35:112:40 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:116:42:116:47 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:159:8:159:13 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:164:9:164:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:167:15:167:20 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:171:9:171:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:175:9:175:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:180:24:180:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:183:17:183:22 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:187:24:187:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:191:24:191:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src2 | test.go:40:8:40:13 | selection of Src2 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src2 | test.go:41:8:41:14 | selection of Src2 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src3 | test.go:42:14:42:19 | selection of Src3 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src3 | test.go:43:14:43:20 | selection of Src3 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SrcArg | test.go:44:2:44:9 | selection of SrcArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArg | test.go:19:2:19:13 | selection of StepArgArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArg | test.go:68:2:68:13 | selection of StepArgArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArgIgnored | test.go:20:2:20:20 | selection of StepArgArgIgnored | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArgIgnored | test.go:72:2:72:20 | selection of StepArgArgIgnored | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | test.go:26:10:26:36 | selection of StepArgArrayContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | test.go:99:12:99:38 | selection of StepArgArrayContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:28:10:28:41 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:113:13:113:44 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:160:13:160:44 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | test.go:30:10:30:37 | selection of StepArgMapKeyContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | test.go:132:13:132:40 | selection of StepArgMapKeyContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | test.go:32:10:32:39 | selection of StepArgMapValueContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | test.go:145:13:145:42 | selection of StepArgMapValueContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgQual | test.go:21:2:21:14 | selection of StepArgQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgQual | test.go:76:2:76:19 | selection of StepArgQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes | test.go:17:10:17:21 | selection of StepArgRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes | test.go:61:12:61:23 | selection of StepArgRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes1 | test.go:18:13:18:25 | selection of StepArgRes1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes1 | test.go:64:15:64:27 | selection of StepArgRes1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResArrayContent | test.go:25:15:25:41 | selection of StepArgResArrayContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResArrayContent | test.go:89:12:89:38 | selection of StepArgResArrayContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | test.go:27:10:27:41 | selection of StepArgResCollectionContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | test.go:102:13:102:44 | selection of StepArgResCollectionContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | test.go:29:10:29:37 | selection of StepArgResMapKeyContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | test.go:116:13:116:40 | selection of StepArgResMapKeyContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | test.go:31:10:31:39 | selection of StepArgResMapValueContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | test.go:135:13:135:42 | selection of StepArgResMapValueContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResNoQual | test.go:24:10:24:30 | selection of StepArgResNoQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResNoQual | test.go:86:12:86:32 | selection of StepArgResNoQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualArg | test.go:23:2:23:14 | selection of StepQualArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualArg | test.go:83:2:83:28 | selection of StepQualArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualRes | test.go:22:10:22:22 | selection of StepQualRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualRes | test.go:79:12:79:38 | selection of StepQualRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function append | test.go:149:10:149:15 | append | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function copy | test.go:155:2:155:5 | copy | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:148:11:148:14 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:152:12:152:15 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:154:12:154:15 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:158:8:158:11 | make | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:8 | function use | test.go:51:2:51:4 | use | Local flow step does not preserve enclosing callable. |
+reverseRead
+| test.go:90:10:90:15 | taint8 | Origin of readStep is missing a PostUpdateNode. |
+| test.go:104:12:104:18 | taint10 | Origin of readStep is missing a PostUpdateNode. |
+| test.go:150:10:150:14 | slice | Origin of readStep is missing a PostUpdateNode. |
+argHasPostUpdate
+| test.go:51:2:51:48 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| test.go:119:11:119:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:122:11:122:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:125:11:125:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:128:11:128:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:136:10:136:20 | index expression | ArgumentNode is missing PostUpdateNode. |
+| test.go:138:11:138:11 | v | ArgumentNode is missing PostUpdateNode. |
+| test.go:141:11:141:11 | v | ArgumentNode is missing PostUpdateNode. |
+| test.go:148:31:148:31 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:149:10:149:27 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| test.go:152:27:152:27 | 2 | ArgumentNode is missing PostUpdateNode. |
+| test.go:154:27:154:27 | 2 | ArgumentNode is missing PostUpdateNode. |
+| test.go:156:10:156:18 | index expression | ArgumentNode is missing PostUpdateNode. |
+| test.go:164:9:164:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:165:10:165:13 | selection of F | ArgumentNode is missing PostUpdateNode. |
+| test.go:168:10:168:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:171:9:171:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:172:10:172:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:175:9:175:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:176:9:176:10 | "" | ArgumentNode is missing PostUpdateNode. |
+| test.go:177:10:177:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:180:24:180:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:181:10:181:14 | selection of F | ArgumentNode is missing PostUpdateNode. |
+| test.go:184:10:184:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:187:24:187:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:188:10:188:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:191:24:191:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:192:24:192:25 | "" | ArgumentNode is missing PostUpdateNode. |
+| test.go:193:10:193:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:206:10:206:12 | src | ArgumentNode is missing PostUpdateNode. |
+identityLocalStep
+| test.go:92:3:92:3 | b | Node steps to itself |
+| test.go:95:3:95:3 | b | Node steps to itself |
+| test.go:106:3:106:3 | b | Node steps to itself |
+| test.go:109:3:109:3 | b | Node steps to itself |
+| test.go:119:3:119:3 | b | Node steps to itself |
+| test.go:122:3:122:3 | b | Node steps to itself |
+| test.go:125:3:125:3 | b | Node steps to itself |
+| test.go:128:3:128:3 | b | Node steps to itself |
+| test.go:138:3:138:3 | b | Node steps to itself |
+| test.go:141:3:141:3 | b | Node steps to itself |

go/ql/test/library-tests/semmle/go/dataflow/ExternalValueFlow/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,279 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 4 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 4 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Get | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetElement | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetMapKey | Node should have one location but has 0. |
+| file://:0:0:0:0 | function GetThroughPointer | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Set | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetElement | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SetThroughPointer | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Sink1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SinkManyArgs | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SinkMethod | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src2 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src3 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function Src3 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SrcArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function SrcArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArgIgnored | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgQual | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgRes1 | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResArrayContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepArgResNoQual | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepQualArg | Node should have one location but has 0. |
+| file://:0:0:0:0 | function StepQualRes | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 75 |
+localFlowIsLocal
+| file://:0:0:0:0 | function Get | test.go:168:10:168:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Get | test.go:172:10:172:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Get | test.go:177:10:177:15 | selection of Get | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetElement | test.go:103:10:103:24 | selection of GetElement | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetMapKey | test.go:117:10:117:23 | selection of GetMapKey | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:184:10:184:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:188:10:188:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function GetThroughPointer | test.go:193:10:193:30 | selection of GetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:164:2:164:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:171:2:171:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:175:2:175:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Set | test.go:176:2:176:7 | selection of Set | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetElement | test.go:112:19:112:33 | selection of SetElement | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:180:2:180:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:187:2:187:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:191:2:191:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SetThroughPointer | test.go:192:2:192:22 | selection of SetThroughPointer | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:48:2:48:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:62:2:62:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:65:2:65:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:69:2:69:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:73:2:73:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:77:2:77:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:80:2:80:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:84:2:84:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:87:2:87:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:90:2:90:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:92:3:92:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:95:3:95:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:100:2:100:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:103:2:103:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:104:2:104:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:106:3:106:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:109:3:109:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:114:2:114:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:117:2:117:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:119:3:119:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:122:3:122:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:125:3:125:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:128:3:128:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:133:2:133:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:136:2:136:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:138:3:138:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:141:3:141:9 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:146:2:146:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:150:2:150:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:156:2:156:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:161:2:161:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:165:2:165:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:168:2:168:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:172:2:172:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:177:2:177:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:181:2:181:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:184:2:184:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:188:2:188:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:193:2:193:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:202:2:202:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:203:2:203:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:204:2:204:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:205:2:205:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:206:2:206:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:207:2:207:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Sink1 | test.go:214:2:214:8 | selection of Sink1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SinkManyArgs | test.go:199:2:199:15 | selection of SinkManyArgs | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SinkMethod | test.go:49:2:49:24 | selection of SinkMethod | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:39:8:39:13 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:59:9:59:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:102:46:102:51 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:112:35:112:40 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:116:42:116:47 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:159:8:159:13 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:164:9:164:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:167:15:167:20 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:171:9:171:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:175:9:175:14 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:180:24:180:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:183:17:183:22 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:187:24:187:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src1 | test.go:191:24:191:29 | selection of Src1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src2 | test.go:40:8:40:13 | selection of Src2 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src2 | test.go:41:8:41:14 | selection of Src2 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src3 | test.go:42:14:42:19 | selection of Src3 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function Src3 | test.go:43:14:43:20 | selection of Src3 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function SrcArg | test.go:44:2:44:9 | selection of SrcArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArg | test.go:19:2:19:13 | selection of StepArgArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArg | test.go:68:2:68:13 | selection of StepArgArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArgIgnored | test.go:20:2:20:20 | selection of StepArgArgIgnored | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArgIgnored | test.go:72:2:72:20 | selection of StepArgArgIgnored | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | test.go:26:10:26:36 | selection of StepArgArrayContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgArrayContentRes | test.go:99:12:99:38 | selection of StepArgArrayContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:28:10:28:41 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:113:13:113:44 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgCollectionContentRes | test.go:160:13:160:44 | selection of StepArgCollectionContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | test.go:30:10:30:37 | selection of StepArgMapKeyContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapKeyContentRes | test.go:132:13:132:40 | selection of StepArgMapKeyContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | test.go:32:10:32:39 | selection of StepArgMapValueContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgMapValueContentRes | test.go:145:13:145:42 | selection of StepArgMapValueContentRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgQual | test.go:21:2:21:14 | selection of StepArgQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgQual | test.go:76:2:76:19 | selection of StepArgQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes | test.go:17:10:17:21 | selection of StepArgRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes | test.go:61:12:61:23 | selection of StepArgRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes1 | test.go:18:13:18:25 | selection of StepArgRes1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgRes1 | test.go:64:15:64:27 | selection of StepArgRes1 | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResArrayContent | test.go:25:15:25:41 | selection of StepArgResArrayContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResArrayContent | test.go:89:12:89:38 | selection of StepArgResArrayContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | test.go:27:10:27:41 | selection of StepArgResCollectionContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResCollectionContent | test.go:102:13:102:44 | selection of StepArgResCollectionContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | test.go:29:10:29:37 | selection of StepArgResMapKeyContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapKeyContent | test.go:116:13:116:40 | selection of StepArgResMapKeyContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | test.go:31:10:31:39 | selection of StepArgResMapValueContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResMapValueContent | test.go:135:13:135:42 | selection of StepArgResMapValueContent | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResNoQual | test.go:24:10:24:30 | selection of StepArgResNoQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepArgResNoQual | test.go:86:12:86:32 | selection of StepArgResNoQual | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualArg | test.go:23:2:23:14 | selection of StepQualArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualArg | test.go:83:2:83:28 | selection of StepQualArg | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualRes | test.go:22:10:22:22 | selection of StepQualRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function StepQualRes | test.go:79:12:79:38 | selection of StepQualRes | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function append | test.go:149:10:149:15 | append | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function copy | test.go:155:2:155:5 | copy | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:148:11:148:14 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:152:12:152:15 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:154:12:154:15 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function make | test.go:158:8:158:11 | make | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function max | test.go:202:10:202:12 | max | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function max | test.go:203:10:203:12 | max | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function max | test.go:204:10:204:12 | max | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function min | test.go:205:10:205:12 | min | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function min | test.go:206:10:206:12 | min | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function min | test.go:207:10:207:12 | min | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:8 | function use | test.go:51:2:51:4 | use | Local flow step does not preserve enclosing callable. |
+reverseRead
+| test.go:90:10:90:15 | taint8 | Origin of readStep is missing a PostUpdateNode. |
+| test.go:104:12:104:18 | taint10 | Origin of readStep is missing a PostUpdateNode. |
+| test.go:150:10:150:14 | slice | Origin of readStep is missing a PostUpdateNode. |
+argHasPostUpdate
+| test.go:51:2:51:48 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| test.go:119:11:119:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:122:11:122:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:125:11:125:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:128:11:128:11 | k | ArgumentNode is missing PostUpdateNode. |
+| test.go:136:10:136:20 | index expression | ArgumentNode is missing PostUpdateNode. |
+| test.go:138:11:138:11 | v | ArgumentNode is missing PostUpdateNode. |
+| test.go:141:11:141:11 | v | ArgumentNode is missing PostUpdateNode. |
+| test.go:148:31:148:31 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:149:10:149:27 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| test.go:152:27:152:27 | 2 | ArgumentNode is missing PostUpdateNode. |
+| test.go:154:27:154:27 | 2 | ArgumentNode is missing PostUpdateNode. |
+| test.go:156:10:156:18 | index expression | ArgumentNode is missing PostUpdateNode. |
+| test.go:164:9:164:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:165:10:165:13 | selection of F | ArgumentNode is missing PostUpdateNode. |
+| test.go:168:10:168:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:171:9:171:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:172:10:172:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:175:9:175:25 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:176:9:176:10 | "" | ArgumentNode is missing PostUpdateNode. |
+| test.go:177:10:177:17 | call to Get | ArgumentNode is missing PostUpdateNode. |
+| test.go:180:24:180:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:181:10:181:14 | selection of F | ArgumentNode is missing PostUpdateNode. |
+| test.go:184:10:184:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:187:24:187:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:188:10:188:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:191:24:191:40 | type assertion | ArgumentNode is missing PostUpdateNode. |
+| test.go:192:24:192:25 | "" | ArgumentNode is missing PostUpdateNode. |
+| test.go:193:10:193:32 | call to GetThroughPointer | ArgumentNode is missing PostUpdateNode. |
+| test.go:202:10:202:26 | call to max | ArgumentNode is missing PostUpdateNode. |
+| test.go:202:14:202:19 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:202:22:202:22 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:202:25:202:25 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:203:10:203:26 | call to max | ArgumentNode is missing PostUpdateNode. |
+| test.go:203:14:203:14 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:203:17:203:22 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:203:25:203:25 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:204:10:204:26 | call to max | ArgumentNode is missing PostUpdateNode. |
+| test.go:204:14:204:14 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:204:17:204:17 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:204:20:204:25 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:205:10:205:26 | call to min | ArgumentNode is missing PostUpdateNode. |
+| test.go:205:14:205:19 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:205:22:205:22 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:205:25:205:25 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:206:10:206:26 | call to min | ArgumentNode is missing PostUpdateNode. |
+| test.go:206:14:206:14 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:206:17:206:22 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:206:25:206:25 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:207:10:207:26 | call to min | ArgumentNode is missing PostUpdateNode. |
+| test.go:207:14:207:14 | 0 | ArgumentNode is missing PostUpdateNode. |
+| test.go:207:17:207:17 | 1 | ArgumentNode is missing PostUpdateNode. |
+| test.go:207:20:207:25 | srcInt | ArgumentNode is missing PostUpdateNode. |
+| test.go:214:10:214:12 | src | ArgumentNode is missing PostUpdateNode. |
+identityLocalStep
+| test.go:92:3:92:3 | b | Node steps to itself |
+| test.go:95:3:95:3 | b | Node steps to itself |
+| test.go:106:3:106:3 | b | Node steps to itself |
+| test.go:109:3:109:3 | b | Node steps to itself |
+| test.go:119:3:119:3 | b | Node steps to itself |
+| test.go:122:3:122:3 | b | Node steps to itself |
+| test.go:125:3:125:3 | b | Node steps to itself |
+| test.go:128:3:128:3 | b | Node steps to itself |
+| test.go:138:3:138:3 | b | Node steps to itself |
+| test.go:141:3:141:3 | b | Node steps to itself |

go/ql/test/library-tests/semmle/go/dataflow/GenericFunctionsAndTypes/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,179 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 37 |
+localFlowIsLocal
+| genericfunctions.go:3:6:3:18 | function genericSource | genericfunctions.go:30:8:30:20 | genericSource | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:3:6:3:18 | function genericSource | genericfunctions.go:34:8:34:20 | genericSource | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:3:6:3:18 | function genericSource | genericfunctions.go:38:8:38:20 | genericSource | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:8:6:8:20 | function genericIdentity | genericfunctions.go:43:8:43:22 | genericIdentity | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:8:6:8:20 | function genericIdentity | genericfunctions.go:47:8:47:22 | genericIdentity | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:8:6:8:20 | function genericIdentity | genericfunctions.go:51:8:51:22 | genericIdentity | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:12:6:12:17 | function genericSink1 | genericfunctions.go:57:3:57:14 | genericSink1 | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:16:6:16:17 | function genericSink2 | genericfunctions.go:61:3:61:14 | genericSink2 | Local flow step does not preserve enclosing callable. |
+| genericfunctions.go:20:6:20:17 | function genericSink3 | genericfunctions.go:65:8:65:19 | genericSink3 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:4:7:4:12 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:43:24:43:29 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:47:32:47:37 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:52:10:52:15 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:56:8:56:13 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:60:8:60:13 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | genericfunctions.go:64:8:64:13 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:33:33:33:38 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:38:21:38:26 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:43:10:43:15 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:47:15:47:20 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:52:15:52:20 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:58:14:58:19 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:64:5:64:10 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:69:41:69:46 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:74:22:74:27 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:79:10:79:15 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:83:16:83:21 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:88:16:88:21 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:94:15:94:20 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:100:5:100:10 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:105:45:105:50 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:110:22:110:27 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:115:10:115:15 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:119:16:119:21 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:124:16:124:21 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:130:15:130:20 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:3:6:3:11 | function source | generictypesandmethods.go:136:5:136:10 | source | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:13:2:13:5 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:17:2:17:5 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:21:2:21:5 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:31:3:31:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:35:3:35:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:40:3:40:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:44:3:44:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:48:3:48:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | genericfunctions.go:53:3:53:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:34:3:34:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:38:3:38:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:43:3:43:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:48:3:48:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:54:3:54:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:59:3:59:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:65:3:65:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:70:3:70:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:74:3:74:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:79:3:79:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:84:3:84:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:90:3:90:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:95:3:95:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:101:3:101:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:106:3:106:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:110:3:110:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:115:3:115:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:120:3:120:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:126:3:126:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:131:3:131:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:7:6:7:9 | function sink | generictypesandmethods.go:137:3:137:6 | sink | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:14:28:14:35 | function Identity | generictypesandmethods.go:38:8:38:19 | selection of Identity | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:14:28:14:35 | function Identity | generictypesandmethods.go:42:8:42:19 | selection of Identity | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:15:28:15:33 | function Getter | generictypesandmethods.go:48:8:48:17 | selection of Getter | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:15:28:15:33 | function Getter | generictypesandmethods.go:53:8:53:17 | selection of Getter | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:16:28:16:33 | function Setter | generictypesandmethods.go:58:3:58:12 | selection of Setter | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:16:28:16:33 | function Setter | generictypesandmethods.go:63:8:63:17 | selection of Setter | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:23:31:23:39 | function Identity1 | generictypesandmethods.go:74:8:74:20 | selection of Identity1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:23:31:23:39 | function Identity1 | generictypesandmethods.go:78:8:78:20 | selection of Identity1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:24:31:24:37 | function Getter1 | generictypesandmethods.go:84:8:84:18 | selection of Getter1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:24:31:24:37 | function Getter1 | generictypesandmethods.go:89:8:89:18 | selection of Getter1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:25:31:25:37 | function Setter1 | generictypesandmethods.go:94:3:94:13 | selection of Setter1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:25:31:25:37 | function Setter1 | generictypesandmethods.go:99:8:99:18 | selection of Setter1 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:27:31:27:39 | function Identity2 | generictypesandmethods.go:110:8:110:20 | selection of Identity2 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:27:31:27:39 | function Identity2 | generictypesandmethods.go:114:8:114:20 | selection of Identity2 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:28:31:28:37 | function Getter2 | generictypesandmethods.go:120:8:120:18 | selection of Getter2 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:28:31:28:37 | function Getter2 | generictypesandmethods.go:125:8:125:18 | selection of Getter2 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:29:31:29:37 | function Setter2 | generictypesandmethods.go:130:3:130:13 | selection of Setter2 | Local flow step does not preserve enclosing callable. |
+| generictypesandmethods.go:29:31:29:37 | function Setter2 | generictypesandmethods.go:135:8:135:18 | selection of Setter2 | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| genericfunctions.go:13:7:13:7 | u | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:17:7:17:7 | u | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:21:7:21:7 | u | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:31:8:31:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:34:28:34:28 | 2 | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:35:8:35:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:39:10:39:10 | 2 | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:40:8:40:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:43:24:43:31 | call to source | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:44:8:44:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:47:32:47:39 | call to source | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:48:8:48:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:52:10:52:17 | call to source | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:53:8:53:8 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:57:19:57:19 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:61:24:61:24 | 3 | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:61:27:61:27 | s | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:66:5:66:5 | 3 | ArgumentNode is missing PostUpdateNode. |
+| genericfunctions.go:66:8:66:8 | s | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:34:8:34:16 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:38:8:38:29 | call to Identity | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:38:21:38:28 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:43:8:43:18 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:43:10:43:17 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:48:8:48:19 | call to Getter | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:54:8:54:10 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:58:14:58:21 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:59:8:59:16 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:64:5:64:12 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:65:8:65:16 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:70:8:70:17 | selection of Field1 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:74:8:74:30 | call to Identity1 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:74:22:74:29 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:79:8:79:18 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:79:10:79:17 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:84:8:84:20 | call to Getter1 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:90:8:90:10 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:94:15:94:22 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:95:8:95:17 | selection of Field1 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:100:5:100:12 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:101:8:101:17 | selection of Field1 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:106:8:106:17 | selection of Field2 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:110:8:110:30 | call to Identity2 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:110:22:110:29 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:115:8:115:18 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:115:10:115:17 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:120:8:120:20 | call to Getter2 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:126:8:126:10 | call to f | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:130:15:130:22 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:131:8:131:17 | selection of Field2 | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:136:5:136:12 | call to source | ArgumentNode is missing PostUpdateNode. |
+| generictypesandmethods.go:137:8:137:17 | selection of Field2 | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/GlobalVariableSideEffects/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,75 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:28:17:28:22 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:29:19:29:24 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:30:19:30:24 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:31:13:31:18 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:32:19:32:24 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:44:7:44:12 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:48:9:48:14 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:52:9:52:14 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:56:4:56:9 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:9:6:9:11 | function source | globalVariable.go:60:10:60:15 | source | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:11:6:11:9 | function sink | globalVariable.go:16:2:16:5 | sink | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:11:6:11:9 | function sink | globalVariable.go:17:2:17:5 | sink | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:11:6:11:9 | function sink | globalVariable.go:18:2:18:5 | sink | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:11:6:11:9 | function sink | globalVariable.go:20:3:20:6 | sink | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:11:6:11:9 | function sink | globalVariable.go:23:3:23:6 | sink | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:27:6:27:10 | function test1 | globalVariable.go:14:2:14:6 | test1 | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:35:6:35:10 | function test2 | globalVariable.go:15:2:15:6 | test2 | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:43:6:43:16 | function taintScalar | globalVariable.go:36:2:36:12 | taintScalar | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:47:6:47:15 | function taintArray | globalVariable.go:37:2:37:11 | taintArray | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:51:6:51:15 | function taintSlice | globalVariable.go:38:2:38:11 | taintSlice | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:55:6:55:16 | function taintMapKey | globalVariable.go:39:2:39:12 | taintMapKey | Local flow step does not preserve enclosing callable. |
+| globalVariable.go:59:6:59:18 | function taintMapValue | globalVariable.go:40:2:40:14 | taintMapValue | Local flow step does not preserve enclosing callable. |
+reverseRead
+| globalVariable.go:17:7:17:17 | globalArray | Origin of readStep is missing a PostUpdateNode. |
+| globalVariable.go:18:7:18:17 | globalSlice | Origin of readStep is missing a PostUpdateNode. |
+argHasPostUpdate
+| globalVariable.go:28:24:28:24 | 0 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:29:26:29:26 | 1 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:30:26:30:26 | 2 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:31:20:31:20 | 3 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:32:26:32:26 | 4 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:44:14:44:15 | 10 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:48:16:48:17 | 11 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:52:16:52:17 | 12 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:56:11:56:12 | 13 | ArgumentNode is missing PostUpdateNode. |
+| globalVariable.go:60:17:60:18 | 14 | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/MapReadsAndStores/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,46 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| test.go:3:6:3:11 | function source | test.go:12:23:12:28 | source | Local flow step does not preserve enclosing callable. |
+| test.go:3:6:3:11 | function source | test.go:20:42:20:47 | source | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:15:3:15:6 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:23:3:23:6 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| test.go:15:8:15:10 | val | ArgumentNode is missing PostUpdateNode. |
+| test.go:23:8:23:10 | val | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/PostUpdateNodes/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,33 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 23 |
+localFlowIsLocal
+| test.go:7:12:7:12 | function m | test.go:29:2:29:4 | selection of m | Local flow step does not preserve enclosing callable. |
+| test.go:7:12:7:12 | function m | test.go:33:7:33:9 | selection of m | Local flow step does not preserve enclosing callable. |
+| test.go:8:13:8:14 | function mp | test.go:30:2:30:5 | selection of mp | Local flow step does not preserve enclosing callable. |
+| test.go:8:13:8:14 | function mp | test.go:34:8:34:11 | selection of mp | Local flow step does not preserve enclosing callable. |
+reverseRead
+| test.go:23:12:23:12 | a | Origin of readStep is missing a PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/PromotedFields/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,184 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| main.go:3:6:3:11 | function source | main.go:23:31:23:36 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:31:31:31:36 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:40:30:40:35 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:46:32:46:37 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:54:17:54:22 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:62:18:62:23 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:72:17:72:22 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:80:18:80:23 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:91:16:91:21 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:98:17:98:22 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:107:22:107:27 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:114:23:114:28 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:123:23:123:28 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:130:24:130:29 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:139:29:139:34 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:146:30:146:35 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:25:2:25:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:27:2:27:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:28:2:28:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:33:2:33:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:34:2:34:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:35:2:35:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:36:2:36:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:41:2:41:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:42:2:42:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:43:2:43:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:44:2:44:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:47:2:47:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:48:2:48:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:49:2:49:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:50:2:50:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:57:2:57:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:58:2:58:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:59:2:59:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:60:2:60:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:65:2:65:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:66:2:66:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:67:2:67:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:68:2:68:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:75:2:75:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:76:2:76:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:77:2:77:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:78:2:78:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:83:2:83:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:84:2:84:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:85:2:85:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:86:2:86:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:92:2:92:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:93:2:93:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:94:2:94:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:95:2:95:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:99:2:99:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:100:2:100:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:101:2:101:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:102:2:102:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:108:2:108:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:109:2:109:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:110:2:110:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:111:2:111:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:115:2:115:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:116:2:116:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:117:2:117:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:118:2:118:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:124:2:124:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:125:2:125:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:126:2:126:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:127:2:127:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:131:2:131:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:132:2:132:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:133:2:133:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:134:2:134:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:140:2:140:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:141:2:141:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:142:2:142:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:143:2:143:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:147:2:147:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:148:2:148:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:149:2:149:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:150:2:150:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:25:7:25:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:26:7:26:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:28:7:28:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:33:7:33:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:34:7:34:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:35:7:35:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:36:7:36:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:41:7:41:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:42:7:42:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:43:7:43:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:44:7:44:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:47:7:47:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:48:7:48:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:49:7:49:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:50:7:50:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:57:7:57:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:58:7:58:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:59:7:59:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:60:7:60:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:65:7:65:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:66:7:66:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:67:7:67:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:68:7:68:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:75:7:75:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:76:7:76:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:77:7:77:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:78:7:78:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:83:7:83:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:84:7:84:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:85:7:85:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:86:7:86:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:92:7:92:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:93:7:93:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:94:7:94:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:95:7:95:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:99:7:99:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:100:7:100:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:101:7:101:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:102:7:102:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:108:7:108:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:109:7:109:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:110:7:110:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:111:7:111:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:115:7:115:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:116:7:116:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:117:7:117:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:118:7:118:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:124:7:124:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:125:7:125:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:126:7:126:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:127:7:127:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:131:7:131:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:132:7:132:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:133:7:133:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:134:7:134:31 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:140:7:140:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:141:7:141:23 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:142:7:142:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:143:7:143:30 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:147:7:147:18 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:148:7:148:24 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:149:7:149:25 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| main.go:150:7:150:31 | selection of field | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/PromotedMethods/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,79 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| methods.go:3:6:3:11 | function source | methods.go:47:16:47:21 | source | Local flow step does not preserve enclosing callable. |
+| methods.go:3:6:3:11 | function source | methods.go:56:16:56:21 | source | Local flow step does not preserve enclosing callable. |
+| methods.go:3:6:3:11 | function source | methods.go:66:16:66:21 | source | Local flow step does not preserve enclosing callable. |
+| methods.go:3:6:3:11 | function source | methods.go:75:16:75:21 | source | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:22:2:22:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:30:2:30:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:34:2:34:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:38:2:38:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:7:6:7:9 | function sink | methods.go:42:2:42:5 | sink | Local flow step does not preserve enclosing callable. |
+| methods.go:21:19:21:55 | function sinkFieldOnEmbeddedNonPointerReceiver | methods.go:48:2:48:44 | selection of sinkFieldOnEmbeddedNonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:21:19:21:55 | function sinkFieldOnEmbeddedNonPointerReceiver | methods.go:58:2:58:45 | selection of sinkFieldOnEmbeddedNonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:21:19:21:55 | function sinkFieldOnEmbeddedNonPointerReceiver | methods.go:67:2:67:44 | selection of sinkFieldOnEmbeddedNonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:21:19:21:55 | function sinkFieldOnEmbeddedNonPointerReceiver | methods.go:77:2:77:45 | selection of sinkFieldOnEmbeddedNonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:25:20:25:53 | function sinkFieldOnEmbeddedPointerReceiver | methods.go:49:2:49:41 | selection of sinkFieldOnEmbeddedPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:25:20:25:53 | function sinkFieldOnEmbeddedPointerReceiver | methods.go:59:2:59:42 | selection of sinkFieldOnEmbeddedPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:25:20:25:53 | function sinkFieldOnEmbeddedPointerReceiver | methods.go:68:2:68:41 | selection of sinkFieldOnEmbeddedPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:25:20:25:53 | function sinkFieldOnEmbeddedPointerReceiver | methods.go:78:2:78:42 | selection of sinkFieldOnEmbeddedPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:29:20:29:53 | function sinkFieldOnBase1NonPointerReceiver | methods.go:50:2:50:41 | selection of sinkFieldOnBase1NonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:29:20:29:53 | function sinkFieldOnBase1NonPointerReceiver | methods.go:60:2:60:42 | selection of sinkFieldOnBase1NonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:33:21:33:51 | function sinkFieldOnBase1PointerReceiver | methods.go:51:2:51:38 | selection of sinkFieldOnBase1PointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:33:21:33:51 | function sinkFieldOnBase1PointerReceiver | methods.go:61:2:61:39 | selection of sinkFieldOnBase1PointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:37:20:37:53 | function sinkFieldOnBase2NonPointerReceiver | methods.go:69:2:69:41 | selection of sinkFieldOnBase2NonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:37:20:37:53 | function sinkFieldOnBase2NonPointerReceiver | methods.go:79:2:79:42 | selection of sinkFieldOnBase2NonPointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:41:21:41:51 | function sinkFieldOnBase2PointerReceiver | methods.go:70:2:70:38 | selection of sinkFieldOnBase2PointerReceiver | Local flow step does not preserve enclosing callable. |
+| methods.go:41:21:41:51 | function sinkFieldOnBase2PointerReceiver | methods.go:80:2:80:39 | selection of sinkFieldOnBase2PointerReceiver | Local flow step does not preserve enclosing callable. |
+reverseRead
+| methods.go:48:2:48:6 | base1 | Origin of readStep is missing a PostUpdateNode. |
+| methods.go:58:2:58:7 | implicit dereference | Origin of readStep is missing a PostUpdateNode. |
+| methods.go:67:2:67:6 | base2 | Origin of readStep is missing a PostUpdateNode. |
+| methods.go:68:2:68:6 | base2 | Origin of readStep is missing a PostUpdateNode. |
+| methods.go:77:2:77:7 | implicit dereference | Origin of readStep is missing a PostUpdateNode. |
+| methods.go:78:2:78:7 | base2p | Origin of readStep is missing a PostUpdateNode. |
+argHasPostUpdate
+| methods.go:22:7:22:13 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| methods.go:26:7:26:13 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| methods.go:30:7:30:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| methods.go:34:7:34:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| methods.go:38:7:38:17 | selection of field | ArgumentNode is missing PostUpdateNode. |
+| methods.go:42:7:42:17 | selection of field | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,45 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 3 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 39 |
+localFlowIsLocal
+| tst.go:7:13:7:16 | function bump | tst.go:18:2:18:7 | selection of bump | Local flow step does not preserve enclosing callable. |
+| tst.go:12:12:12:14 | function get | tst.go:9:9:9:13 | selection of get | Local flow step does not preserve enclosing callable. |

go/ql/test/library-tests/semmle/go/dataflow/SliceExpressions/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,64 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| main.go:3:6:3:11 | function source | main.go:16:12:16:17 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:24:12:24:17 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:32:12:32:17 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:40:15:40:20 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:18:2:18:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:19:2:19:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:20:2:20:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:27:2:27:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:28:2:28:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:34:2:34:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:35:2:35:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:36:2:36:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:42:2:42:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:43:2:43:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:44:2:44:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:18:7:18:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:19:7:19:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:26:7:26:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:34:7:34:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:35:7:35:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:42:7:42:14 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:43:7:43:14 | index expression | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/Switch/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,132 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 2 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 37 |
+localFlowIsLocal
+| switch.go:13:6:13:11 | function source | switch.go:83:26:83:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:84:26:84:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:85:26:85:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:86:24:86:29 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:88:26:88:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:89:26:89:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:90:26:90:31 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:91:24:91:29 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:93:30:93:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:94:30:94:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:95:30:95:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:96:30:96:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:98:30:98:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:99:30:99:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:100:30:100:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:13:6:13:11 | function source | switch.go:101:30:101:35 | source | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:83:2:83:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:84:2:84:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:85:2:85:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:86:2:86:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:88:2:88:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:89:2:89:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:90:2:90:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:91:2:91:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:93:2:93:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:94:2:94:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:95:2:95:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:96:2:96:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:98:2:98:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:99:2:99:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:100:2:100:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:17:6:17:9 | function sink | switch.go:101:2:101:5 | sink | Local flow step does not preserve enclosing callable. |
+| switch.go:20:6:20:16 | function typeSwitch1 | switch.go:83:7:83:17 | typeSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:20:6:20:16 | function typeSwitch1 | switch.go:84:7:84:17 | typeSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:20:6:20:16 | function typeSwitch1 | switch.go:85:7:85:17 | typeSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:20:6:20:16 | function typeSwitch1 | switch.go:86:7:86:17 | typeSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:38:6:38:16 | function typeSwitch2 | switch.go:88:7:88:17 | typeSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:38:6:38:16 | function typeSwitch2 | switch.go:89:7:89:17 | typeSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:38:6:38:16 | function typeSwitch2 | switch.go:90:7:90:17 | typeSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:38:6:38:16 | function typeSwitch2 | switch.go:91:7:91:17 | typeSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:56:6:56:22 | function expressionSwitch1 | switch.go:93:7:93:23 | expressionSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:56:6:56:22 | function expressionSwitch1 | switch.go:94:7:94:23 | expressionSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:56:6:56:22 | function expressionSwitch1 | switch.go:95:7:95:23 | expressionSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:56:6:56:22 | function expressionSwitch1 | switch.go:96:7:96:23 | expressionSwitch1 | Local flow step does not preserve enclosing callable. |
+| switch.go:69:6:69:22 | function expressionSwitch2 | switch.go:98:7:98:23 | expressionSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:69:6:69:22 | function expressionSwitch2 | switch.go:99:7:99:23 | expressionSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:69:6:69:22 | function expressionSwitch2 | switch.go:100:7:100:23 | expressionSwitch2 | Local flow step does not preserve enclosing callable. |
+| switch.go:69:6:69:22 | function expressionSwitch2 | switch.go:101:7:101:23 | expressionSwitch2 | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| switch.go:83:7:83:46 | call to typeSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:83:37:83:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:84:7:84:46 | call to typeSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:84:37:84:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:85:7:85:46 | call to typeSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:85:37:85:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:86:7:86:32 | call to typeSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:86:19:86:21 | nil | ArgumentNode is missing PostUpdateNode. |
+| switch.go:86:24:86:31 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:88:7:88:46 | call to typeSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:88:37:88:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:89:7:89:46 | call to typeSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:89:37:89:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:90:7:90:46 | call to typeSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:90:37:90:45 | "default" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:91:7:91:32 | call to typeSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:91:19:91:21 | nil | ArgumentNode is missing PostUpdateNode. |
+| switch.go:91:24:91:31 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:93:7:93:38 | call to expressionSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:93:25:93:27 | "1" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:93:30:93:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:94:7:94:38 | call to expressionSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:94:25:94:27 | "2" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:94:30:94:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:95:7:95:38 | call to expressionSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:95:25:95:27 | "3" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:95:30:95:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:96:7:96:38 | call to expressionSwitch1 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:96:25:96:27 | "4" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:96:30:96:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:98:7:98:38 | call to expressionSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:98:25:98:27 | "1" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:98:30:98:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:99:7:99:38 | call to expressionSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:99:25:99:27 | "2" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:99:30:99:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:100:7:100:38 | call to expressionSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:100:25:100:27 | "3" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:100:30:100:37 | call to source | ArgumentNode is missing PostUpdateNode. |
+| switch.go:101:7:101:38 | call to expressionSwitch2 | ArgumentNode is missing PostUpdateNode. |
+| switch.go:101:25:101:27 | "4" | ArgumentNode is missing PostUpdateNode. |
+| switch.go:101:30:101:37 | call to source | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/TypeAssertions/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,45 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| test.go:3:6:3:11 | function source | test.go:10:9:10:14 | source | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:11:2:11:5 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:13:2:13:5 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:18:2:18:5 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:23:2:23:5 | sink | Local flow step does not preserve enclosing callable. |
+| test.go:7:6:7:9 | function sink | test.go:28:2:28:5 | sink | Local flow step does not preserve enclosing callable. |

go/ql/test/library-tests/semmle/go/dataflow/VarArgs/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,68 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 35 |
+localFlowIsLocal
+| main.go:3:6:3:11 | function source | main.go:31:26:31:31 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:35:8:35:13 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:41:28:41:33 | source | Local flow step does not preserve enclosing callable. |
+| main.go:3:6:3:11 | function source | main.go:45:13:45:18 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:32:2:32:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:37:2:37:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:38:2:38:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:39:2:39:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:42:2:42:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:47:2:47:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:48:2:48:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:9 | function sink | main.go:49:2:49:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:14:6:14:31 | function functionWithSliceParameter | main.go:37:7:37:32 | functionWithSliceParameter | Local flow step does not preserve enclosing callable. |
+| main.go:18:6:18:33 | function functionWithVarArgsParameter | main.go:38:7:38:34 | functionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:18:6:18:33 | function functionWithVarArgsParameter | main.go:39:7:39:34 | functionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:22:6:22:40 | function functionWithSliceOfStructsParameter | main.go:47:7:47:41 | functionWithSliceOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:26:6:26:42 | function functionWithVarArgsOfStructsParameter | main.go:48:7:48:43 | functionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:26:6:26:42 | function functionWithVarArgsOfStructsParameter | main.go:49:7:49:43 | functionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:32:7:32:20 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:37:7:37:40 | call to functionWithSliceParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:38:7:38:45 | call to functionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:39:7:39:42 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:39:7:39:42 | call to functionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:42:7:42:25 | selection of f | ArgumentNode is missing PostUpdateNode. |
+| main.go:47:7:47:49 | call to functionWithSliceOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:48:7:48:54 | call to functionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:49:7:49:51 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:49:7:49:51 | call to functionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dataflow/VarArgsWithFunctionModels/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,82 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | [summary param] 0 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 0 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary param] 1 in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[0].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] read: Argument[1].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0] in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: Argument[0].ArrayElement in copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in max | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue in min | Node should have one location but has 0. |
+| file://:0:0:0:0 | [summary] to write: ReturnValue.ArrayElement in append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithSliceOfStructsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithSliceParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | Node should have one location but has 0. |
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 40 |
+localFlowIsLocal
+| file://:0:0:0:0 | function FunctionWithParameter | main.go:16:7:16:32 | selection of FunctionWithParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithParameter | main.go:24:7:24:32 | selection of FunctionWithParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithSliceOfStructsParameter | main.go:36:7:36:46 | selection of FunctionWithSliceOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithSliceParameter | main.go:25:7:25:37 | selection of FunctionWithSliceParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | main.go:37:7:37:48 | selection of FunctionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsOfStructsParameter | main.go:38:7:38:48 | selection of FunctionWithVarArgsOfStructsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | main.go:26:7:26:39 | selection of FunctionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| file://:0:0:0:0 | function FunctionWithVarArgsParameter | main.go:27:7:27:39 | selection of FunctionWithVarArgsParameter | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:15:7:15:12 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:18:26:18:31 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:22:8:22:13 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:29:37:29:42 | source | Local flow step does not preserve enclosing callable. |
+| main.go:7:6:7:11 | function source | main.go:34:22:34:27 | source | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:16:2:16:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:19:2:19:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:24:2:24:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:25:2:25:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:26:2:26:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:27:2:27:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:30:2:30:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:36:2:36:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:37:2:37:5 | sink | Local flow step does not preserve enclosing callable. |
+| main.go:11:6:11:9 | function sink | main.go:38:2:38:5 | sink | Local flow step does not preserve enclosing callable. |
+argHasPostUpdate
+| main.go:16:7:16:35 | call to FunctionWithParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:16:34:16:34 | s | ArgumentNode is missing PostUpdateNode. |
+| main.go:19:7:19:20 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:24:7:24:43 | call to FunctionWithParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:24:34:24:42 | index expression | ArgumentNode is missing PostUpdateNode. |
+| main.go:25:7:25:45 | call to FunctionWithSliceParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:26:7:26:50 | call to FunctionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:47 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:27:7:27:47 | call to FunctionWithVarArgsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:30:7:30:29 | selection of Field | ArgumentNode is missing PostUpdateNode. |
+| main.go:36:7:36:54 | call to FunctionWithSliceOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:37:7:37:59 | call to FunctionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |
+| main.go:38:7:38:56 | []type{args} | ArgumentNode is missing PostUpdateNode. |
+| main.go:38:7:38:56 | call to FunctionWithVarArgsOfStructsParameter | ArgumentNode is missing PostUpdateNode. |

go/ql/test/library-tests/semmle/go/dependencies/codeql-go/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/dependencies/fabric-snaps/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/dependencies/hrm-profile-tool/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |

go/ql/test/library-tests/semmle/go/dependencies/sweb/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,21 @@
+uniqueNodeLocation
+| file://:0:0:0:0 | function append | Node should have one location but has 0. |
+| file://:0:0:0:0 | function cap | Node should have one location but has 0. |
+| file://:0:0:0:0 | function clear | Node should have one location but has 0. |
+| file://:0:0:0:0 | function close | Node should have one location but has 0. |
+| file://:0:0:0:0 | function complex | Node should have one location but has 0. |
+| file://:0:0:0:0 | function copy | Node should have one location but has 0. |
+| file://:0:0:0:0 | function delete | Node should have one location but has 0. |
+| file://:0:0:0:0 | function imag | Node should have one location but has 0. |
+| file://:0:0:0:0 | function len | Node should have one location but has 0. |
+| file://:0:0:0:0 | function make | Node should have one location but has 0. |
+| file://:0:0:0:0 | function max | Node should have one location but has 0. |
+| file://:0:0:0:0 | function min | Node should have one location but has 0. |
+| file://:0:0:0:0 | function new | Node should have one location but has 0. |
+| file://:0:0:0:0 | function panic | Node should have one location but has 0. |
+| file://:0:0:0:0 | function print | Node should have one location but has 0. |
+| file://:0:0:0:0 | function println | Node should have one location but has 0. |
+| file://:0:0:0:0 | function real | Node should have one location but has 0. |
+| file://:0:0:0:0 | function recover | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 18 |