Skip to content

Commit 76d6bc8

Browse files
owen-mcowen-mc
committed
Add control flow test for result read steps
1 parent 3da195f commit 76d6bc8

2 files changed

Lines changed: 148 additions & 114 deletions

File tree

‎go/ql/test/library-tests/semmle/go/controlflow/ControlFlowGraph/ControlFlowNode_getASuccessor.expected‎

Lines changed: 138 additions & 114 deletions
Original file line numberDiff line numberDiff line change
@@ -735,129 +735,153 @@
735735
| main.go:48:11:48:12 | 42 | main.go:48:2:48:7 | assignment to result |
736736
| main.go:49:2:49:7 | return statement | main.go:47:13:47:18 | implicit read of result |
737737
| main.go:52:1:54:1 | entry | main.go:52:14:52:19 | zero value for result |
738-
| main.go:52:1:54:1 | function declaration | main.go:56:6:56:10 | skip |
738+
| main.go:52:1:54:1 | function declaration | main.go:56:6:56:9 | skip |
739739
| main.go:52:6:52:9 | skip | main.go:52:1:54:1 | function declaration |
740740
| main.go:52:14:52:19 | implicit read of result | main.go:52:1:54:1 | exit |
741741
| main.go:52:14:52:19 | initialization of result | main.go:53:2:53:7 | return statement |
742742
| main.go:52:14:52:19 | zero value for result | main.go:52:14:52:19 | initialization of result |
743743
| main.go:53:2:53:7 | return statement | main.go:52:14:52:19 | implicit read of result |
744-
| main.go:56:1:80:1 | entry | main.go:57:6:57:6 | skip |
745-
| main.go:56:1:80:1 | function declaration | main.go:82:6:82:13 | skip |
746-
| main.go:56:6:56:10 | skip | main.go:56:1:80:1 | function declaration |
747-
| main.go:57:6:57:6 | assignment to x | main.go:58:6:58:9 | cond |
748-
| main.go:57:6:57:6 | skip | main.go:57:6:57:6 | zero value for x |
749-
| main.go:57:6:57:6 | zero value for x | main.go:57:6:57:6 | assignment to x |
750-
| main.go:58:6:58:9 | cond | main.go:58:6:58:11 | call to cond |
751-
| main.go:58:6:58:11 | call to cond | main.go:56:1:80:1 | exit |
752-
| main.go:58:6:58:11 | call to cond | main.go:58:6:58:11 | call to cond is false |
753-
| main.go:58:6:58:11 | call to cond | main.go:58:6:58:11 | call to cond is true |
754-
| main.go:58:6:58:11 | call to cond is false | main.go:61:2:61:10 | selection of Print |
755-
| main.go:58:6:58:11 | call to cond is true | main.go:59:3:59:3 | skip |
756-
| main.go:59:3:59:3 | assignment to x | main.go:58:6:58:9 | cond |
757-
| main.go:59:3:59:3 | skip | main.go:59:7:59:7 | 2 |
758-
| main.go:59:7:59:7 | 2 | main.go:59:3:59:3 | assignment to x |
759-
| main.go:61:2:61:10 | selection of Print | main.go:61:12:61:12 | x |
760-
| main.go:61:2:61:13 | call to Print | main.go:56:1:80:1 | exit |
761-
| main.go:61:2:61:13 | call to Print | main.go:63:2:63:2 | skip |
762-
| main.go:61:12:61:12 | x | main.go:61:2:61:13 | call to Print |
763-
| main.go:63:2:63:2 | assignment to y | main.go:64:6:64:6 | skip |
764-
| main.go:63:2:63:2 | skip | main.go:63:7:63:7 | 1 |
765-
| main.go:63:7:63:7 | 1 | main.go:63:2:63:2 | assignment to y |
766-
| main.go:64:6:64:6 | assignment to i | main.go:65:6:65:9 | cond |
767-
| main.go:64:6:64:6 | skip | main.go:64:11:64:11 | 0 |
768-
| main.go:64:11:64:11 | 0 | main.go:64:6:64:6 | assignment to i |
769-
| main.go:64:16:64:16 | i | main.go:64:16:64:18 | 1 |
770-
| main.go:64:16:64:18 | 1 | main.go:64:16:64:18 | rhs of increment statement |
771-
| main.go:64:16:64:18 | increment statement | main.go:65:6:65:9 | cond |
772-
| main.go:64:16:64:18 | rhs of increment statement | main.go:64:16:64:18 | increment statement |
773-
| main.go:65:6:65:9 | cond | main.go:65:6:65:11 | call to cond |
774-
| main.go:65:6:65:11 | call to cond | main.go:56:1:80:1 | exit |
775-
| main.go:65:6:65:11 | call to cond | main.go:65:6:65:11 | call to cond is false |
776-
| main.go:65:6:65:11 | call to cond | main.go:65:6:65:11 | call to cond is true |
777-
| main.go:65:6:65:11 | call to cond is false | main.go:68:3:68:3 | skip |
778-
| main.go:65:6:65:11 | call to cond is true | main.go:66:4:66:8 | skip |
779-
| main.go:66:4:66:8 | skip | main.go:70:2:70:10 | selection of Print |
780-
| main.go:68:3:68:3 | assignment to y | main.go:64:16:64:16 | i |
781-
| main.go:68:3:68:3 | skip | main.go:68:7:68:7 | 2 |
782-
| main.go:68:7:68:7 | 2 | main.go:68:3:68:3 | assignment to y |
783-
| main.go:70:2:70:10 | selection of Print | main.go:70:12:70:12 | y |
784-
| main.go:70:2:70:13 | call to Print | main.go:56:1:80:1 | exit |
785-
| main.go:70:2:70:13 | call to Print | main.go:72:2:72:2 | skip |
786-
| main.go:70:12:70:12 | y | main.go:70:2:70:13 | call to Print |
787-
| main.go:72:2:72:2 | assignment to z | main.go:73:6:73:6 | skip |
788-
| main.go:72:2:72:2 | skip | main.go:72:7:72:7 | 1 |
789-
| main.go:72:7:72:7 | 1 | main.go:72:2:72:2 | assignment to z |
790-
| main.go:73:6:73:6 | assignment to i | main.go:74:3:74:3 | skip |
791-
| main.go:73:6:73:6 | skip | main.go:73:11:73:11 | 0 |
792-
| main.go:73:11:73:11 | 0 | main.go:73:6:73:6 | assignment to i |
793-
| main.go:73:16:73:16 | i | main.go:73:16:73:18 | 1 |
794-
| main.go:73:16:73:18 | 1 | main.go:73:16:73:18 | rhs of increment statement |
795-
| main.go:73:16:73:18 | increment statement | main.go:74:3:74:3 | skip |
796-
| main.go:73:16:73:18 | rhs of increment statement | main.go:73:16:73:18 | increment statement |
797-
| main.go:74:3:74:3 | assignment to z | main.go:75:6:75:9 | cond |
798-
| main.go:74:3:74:3 | skip | main.go:74:7:74:7 | 2 |
799-
| main.go:74:7:74:7 | 2 | main.go:74:3:74:3 | assignment to z |
744+
| main.go:56:1:64:1 | entry | main.go:56:11:56:18 | argument corresponding to selector |
745+
| main.go:56:1:64:1 | function declaration | main.go:66:6:66:10 | skip |
746+
| main.go:56:6:56:9 | skip | main.go:56:1:64:1 | function declaration |
747+
| main.go:56:11:56:18 | argument corresponding to selector | main.go:56:11:56:18 | initialization of selector |
748+
| main.go:56:11:56:18 | initialization of selector | main.go:56:26:56:31 | zero value for result |
749+
| main.go:56:26:56:31 | implicit read of result | main.go:56:1:64:1 | exit |
750+
| main.go:56:26:56:31 | initialization of result | main.go:57:2:57:7 | skip |
751+
| main.go:56:26:56:31 | zero value for result | main.go:56:26:56:31 | initialization of result |
752+
| main.go:57:2:57:7 | assignment to result | main.go:58:5:58:12 | selector |
753+
| main.go:57:2:57:7 | skip | main.go:57:11:57:11 | 0 |
754+
| main.go:57:11:57:11 | 0 | main.go:57:2:57:7 | assignment to result |
755+
| main.go:58:5:58:12 | selector | main.go:58:17:58:17 | 1 |
756+
| main.go:58:5:58:17 | ...==... | main.go:58:5:58:17 | ...==... is false |
757+
| main.go:58:5:58:17 | ...==... | main.go:58:5:58:17 | ...==... is true |
758+
| main.go:58:5:58:17 | ...==... is false | main.go:61:3:61:8 | skip |
759+
| main.go:58:5:58:17 | ...==... is true | main.go:59:10:59:10 | 1 |
760+
| main.go:58:17:58:17 | 1 | main.go:58:5:58:17 | ...==... |
761+
| main.go:59:3:59:10 | return statement | main.go:56:26:56:31 | implicit read of result |
762+
| main.go:59:10:59:10 | 1 | main.go:59:10:59:10 | implicit write of result |
763+
| main.go:59:10:59:10 | implicit write of result | main.go:59:3:59:10 | return statement |
764+
| main.go:61:3:61:8 | assignment to result | main.go:63:2:63:7 | return statement |
765+
| main.go:61:3:61:8 | skip | main.go:61:12:61:12 | 2 |
766+
| main.go:61:12:61:12 | 2 | main.go:61:3:61:8 | assignment to result |
767+
| main.go:63:2:63:7 | return statement | main.go:56:26:56:31 | implicit read of result |
768+
| main.go:66:1:90:1 | entry | main.go:67:6:67:6 | skip |
769+
| main.go:66:1:90:1 | function declaration | main.go:92:6:92:13 | skip |
770+
| main.go:66:6:66:10 | skip | main.go:66:1:90:1 | function declaration |
771+
| main.go:67:6:67:6 | assignment to x | main.go:68:6:68:9 | cond |
772+
| main.go:67:6:67:6 | skip | main.go:67:6:67:6 | zero value for x |
773+
| main.go:67:6:67:6 | zero value for x | main.go:67:6:67:6 | assignment to x |
774+
| main.go:68:6:68:9 | cond | main.go:68:6:68:11 | call to cond |
775+
| main.go:68:6:68:11 | call to cond | main.go:66:1:90:1 | exit |
776+
| main.go:68:6:68:11 | call to cond | main.go:68:6:68:11 | call to cond is false |
777+
| main.go:68:6:68:11 | call to cond | main.go:68:6:68:11 | call to cond is true |
778+
| main.go:68:6:68:11 | call to cond is false | main.go:71:2:71:10 | selection of Print |
779+
| main.go:68:6:68:11 | call to cond is true | main.go:69:3:69:3 | skip |
780+
| main.go:69:3:69:3 | assignment to x | main.go:68:6:68:9 | cond |
781+
| main.go:69:3:69:3 | skip | main.go:69:7:69:7 | 2 |
782+
| main.go:69:7:69:7 | 2 | main.go:69:3:69:3 | assignment to x |
783+
| main.go:71:2:71:10 | selection of Print | main.go:71:12:71:12 | x |
784+
| main.go:71:2:71:13 | call to Print | main.go:66:1:90:1 | exit |
785+
| main.go:71:2:71:13 | call to Print | main.go:73:2:73:2 | skip |
786+
| main.go:71:12:71:12 | x | main.go:71:2:71:13 | call to Print |
787+
| main.go:73:2:73:2 | assignment to y | main.go:74:6:74:6 | skip |
788+
| main.go:73:2:73:2 | skip | main.go:73:7:73:7 | 1 |
789+
| main.go:73:7:73:7 | 1 | main.go:73:2:73:2 | assignment to y |
790+
| main.go:74:6:74:6 | assignment to i | main.go:75:6:75:9 | cond |
791+
| main.go:74:6:74:6 | skip | main.go:74:11:74:11 | 0 |
792+
| main.go:74:11:74:11 | 0 | main.go:74:6:74:6 | assignment to i |
793+
| main.go:74:16:74:16 | i | main.go:74:16:74:18 | 1 |
794+
| main.go:74:16:74:18 | 1 | main.go:74:16:74:18 | rhs of increment statement |
795+
| main.go:74:16:74:18 | increment statement | main.go:75:6:75:9 | cond |
796+
| main.go:74:16:74:18 | rhs of increment statement | main.go:74:16:74:18 | increment statement |
800797
| main.go:75:6:75:9 | cond | main.go:75:6:75:11 | call to cond |
801-
| main.go:75:6:75:11 | call to cond | main.go:56:1:80:1 | exit |
798+
| main.go:75:6:75:11 | call to cond | main.go:66:1:90:1 | exit |
802799
| main.go:75:6:75:11 | call to cond | main.go:75:6:75:11 | call to cond is false |
803800
| main.go:75:6:75:11 | call to cond | main.go:75:6:75:11 | call to cond is true |
804-
| main.go:75:6:75:11 | call to cond is false | main.go:73:16:73:16 | i |
801+
| main.go:75:6:75:11 | call to cond is false | main.go:78:3:78:3 | skip |
805802
| main.go:75:6:75:11 | call to cond is true | main.go:76:4:76:8 | skip |
806-
| main.go:76:4:76:8 | skip | main.go:79:2:79:10 | selection of Print |
807-
| main.go:79:2:79:10 | selection of Print | main.go:79:12:79:12 | z |
808-
| main.go:79:2:79:13 | call to Print | main.go:56:1:80:1 | exit |
809-
| main.go:79:12:79:12 | z | main.go:79:2:79:13 | call to Print |
810-
| main.go:82:1:86:1 | entry | main.go:82:18:82:18 | zero value for a |
811-
| main.go:82:1:86:1 | function declaration | main.go:88:6:88:23 | skip |
812-
| main.go:82:6:82:13 | skip | main.go:82:1:86:1 | function declaration |
813-
| main.go:82:18:82:18 | implicit read of a | main.go:82:25:82:25 | implicit read of b |
814-
| main.go:82:18:82:18 | initialization of a | main.go:82:25:82:25 | zero value for b |
815-
| main.go:82:18:82:18 | zero value for a | main.go:82:18:82:18 | initialization of a |
816-
| main.go:82:25:82:25 | implicit read of b | main.go:82:1:86:1 | exit |
817-
| main.go:82:25:82:25 | initialization of b | main.go:83:2:83:2 | skip |
818-
| main.go:82:25:82:25 | zero value for b | main.go:82:25:82:25 | initialization of b |
819-
| main.go:83:2:83:2 | assignment to x | main.go:84:2:84:2 | skip |
820-
| main.go:83:2:83:2 | skip | main.go:83:7:83:8 | 23 |
821-
| main.go:83:7:83:8 | 23 | main.go:83:2:83:2 | assignment to x |
822-
| main.go:84:2:84:2 | assignment to x | main.go:84:5:84:5 | assignment to a |
823-
| main.go:84:2:84:2 | skip | main.go:84:5:84:5 | skip |
824-
| main.go:84:5:84:5 | assignment to a | main.go:85:2:85:7 | return statement |
825-
| main.go:84:5:84:5 | skip | main.go:84:9:84:9 | x |
826-
| main.go:84:9:84:9 | x | main.go:84:11:84:12 | 19 |
827-
| main.go:84:9:84:12 | ...+... | main.go:84:15:84:15 | x |
828-
| main.go:84:11:84:12 | 19 | main.go:84:9:84:12 | ...+... |
829-
| main.go:84:15:84:15 | x | main.go:84:2:84:2 | assignment to x |
830-
| main.go:85:2:85:7 | return statement | main.go:82:18:82:18 | implicit read of a |
831-
| main.go:88:1:96:1 | entry | main.go:88:25:88:25 | argument corresponding to x |
832-
| main.go:88:1:96:1 | function declaration | main.go:0:0:0:0 | exit |
833-
| main.go:88:6:88:23 | skip | main.go:88:1:96:1 | function declaration |
834-
| main.go:88:25:88:25 | argument corresponding to x | main.go:88:25:88:25 | initialization of x |
835-
| main.go:88:25:88:25 | initialization of x | main.go:89:2:89:2 | skip |
836-
| main.go:89:2:89:2 | assignment to a | main.go:89:5:89:5 | assignment to b |
837-
| main.go:89:2:89:2 | skip | main.go:89:5:89:5 | skip |
838-
| main.go:89:5:89:5 | assignment to b | main.go:90:5:90:8 | cond |
839-
| main.go:89:5:89:5 | skip | main.go:89:10:89:10 | x |
840-
| main.go:89:10:89:10 | x | main.go:89:13:89:13 | 0 |
841-
| main.go:89:13:89:13 | 0 | main.go:89:2:89:2 | assignment to a |
842-
| main.go:90:5:90:8 | cond | main.go:90:5:90:10 | call to cond |
843-
| main.go:90:5:90:10 | call to cond | main.go:88:1:96:1 | exit |
844-
| main.go:90:5:90:10 | call to cond | main.go:90:5:90:10 | call to cond is false |
845-
| main.go:90:5:90:10 | call to cond | main.go:90:5:90:10 | call to cond is true |
846-
| main.go:90:5:90:10 | call to cond is false | main.go:93:3:93:3 | skip |
847-
| main.go:90:5:90:10 | call to cond is true | main.go:91:3:91:3 | skip |
848-
| main.go:91:3:91:3 | assignment to a | main.go:95:9:95:9 | a |
849-
| main.go:91:3:91:3 | skip | main.go:91:6:91:6 | skip |
850-
| main.go:91:6:91:6 | skip | main.go:91:10:91:10 | b |
851-
| main.go:91:10:91:10 | b | main.go:91:13:91:13 | a |
852-
| main.go:91:13:91:13 | a | main.go:91:3:91:3 | assignment to a |
853-
| main.go:93:3:93:3 | skip | main.go:93:6:93:6 | skip |
854-
| main.go:93:6:93:6 | assignment to b | main.go:95:9:95:9 | a |
855-
| main.go:93:6:93:6 | skip | main.go:93:10:93:10 | b |
856-
| main.go:93:10:93:10 | b | main.go:93:13:93:13 | a |
857-
| main.go:93:13:93:13 | a | main.go:93:6:93:6 | assignment to b |
858-
| main.go:95:2:95:12 | return statement | main.go:88:1:96:1 | exit |
859-
| main.go:95:9:95:9 | a | main.go:95:12:95:12 | b |
860-
| main.go:95:12:95:12 | b | main.go:95:2:95:12 | return statement |
803+
| main.go:76:4:76:8 | skip | main.go:80:2:80:10 | selection of Print |
804+
| main.go:78:3:78:3 | assignment to y | main.go:74:16:74:16 | i |
805+
| main.go:78:3:78:3 | skip | main.go:78:7:78:7 | 2 |
806+
| main.go:78:7:78:7 | 2 | main.go:78:3:78:3 | assignment to y |
807+
| main.go:80:2:80:10 | selection of Print | main.go:80:12:80:12 | y |
808+
| main.go:80:2:80:13 | call to Print | main.go:66:1:90:1 | exit |
809+
| main.go:80:2:80:13 | call to Print | main.go:82:2:82:2 | skip |
810+
| main.go:80:12:80:12 | y | main.go:80:2:80:13 | call to Print |
811+
| main.go:82:2:82:2 | assignment to z | main.go:83:6:83:6 | skip |
812+
| main.go:82:2:82:2 | skip | main.go:82:7:82:7 | 1 |
813+
| main.go:82:7:82:7 | 1 | main.go:82:2:82:2 | assignment to z |
814+
| main.go:83:6:83:6 | assignment to i | main.go:84:3:84:3 | skip |
815+
| main.go:83:6:83:6 | skip | main.go:83:11:83:11 | 0 |
816+
| main.go:83:11:83:11 | 0 | main.go:83:6:83:6 | assignment to i |
817+
| main.go:83:16:83:16 | i | main.go:83:16:83:18 | 1 |
818+
| main.go:83:16:83:18 | 1 | main.go:83:16:83:18 | rhs of increment statement |
819+
| main.go:83:16:83:18 | increment statement | main.go:84:3:84:3 | skip |
820+
| main.go:83:16:83:18 | rhs of increment statement | main.go:83:16:83:18 | increment statement |
821+
| main.go:84:3:84:3 | assignment to z | main.go:85:6:85:9 | cond |
822+
| main.go:84:3:84:3 | skip | main.go:84:7:84:7 | 2 |
823+
| main.go:84:7:84:7 | 2 | main.go:84:3:84:3 | assignment to z |
824+
| main.go:85:6:85:9 | cond | main.go:85:6:85:11 | call to cond |
825+
| main.go:85:6:85:11 | call to cond | main.go:66:1:90:1 | exit |
826+
| main.go:85:6:85:11 | call to cond | main.go:85:6:85:11 | call to cond is false |
827+
| main.go:85:6:85:11 | call to cond | main.go:85:6:85:11 | call to cond is true |
828+
| main.go:85:6:85:11 | call to cond is false | main.go:83:16:83:16 | i |
829+
| main.go:85:6:85:11 | call to cond is true | main.go:86:4:86:8 | skip |
830+
| main.go:86:4:86:8 | skip | main.go:89:2:89:10 | selection of Print |
831+
| main.go:89:2:89:10 | selection of Print | main.go:89:12:89:12 | z |
832+
| main.go:89:2:89:13 | call to Print | main.go:66:1:90:1 | exit |
833+
| main.go:89:12:89:12 | z | main.go:89:2:89:13 | call to Print |
834+
| main.go:92:1:96:1 | entry | main.go:92:18:92:18 | zero value for a |
835+
| main.go:92:1:96:1 | function declaration | main.go:98:6:98:23 | skip |
836+
| main.go:92:6:92:13 | skip | main.go:92:1:96:1 | function declaration |
837+
| main.go:92:18:92:18 | implicit read of a | main.go:92:25:92:25 | implicit read of b |
838+
| main.go:92:18:92:18 | initialization of a | main.go:92:25:92:25 | zero value for b |
839+
| main.go:92:18:92:18 | zero value for a | main.go:92:18:92:18 | initialization of a |
840+
| main.go:92:25:92:25 | implicit read of b | main.go:92:1:96:1 | exit |
841+
| main.go:92:25:92:25 | initialization of b | main.go:93:2:93:2 | skip |
842+
| main.go:92:25:92:25 | zero value for b | main.go:92:25:92:25 | initialization of b |
843+
| main.go:93:2:93:2 | assignment to x | main.go:94:2:94:2 | skip |
844+
| main.go:93:2:93:2 | skip | main.go:93:7:93:8 | 23 |
845+
| main.go:93:7:93:8 | 23 | main.go:93:2:93:2 | assignment to x |
846+
| main.go:94:2:94:2 | assignment to x | main.go:94:5:94:5 | assignment to a |
847+
| main.go:94:2:94:2 | skip | main.go:94:5:94:5 | skip |
848+
| main.go:94:5:94:5 | assignment to a | main.go:95:2:95:7 | return statement |
849+
| main.go:94:5:94:5 | skip | main.go:94:9:94:9 | x |
850+
| main.go:94:9:94:9 | x | main.go:94:11:94:12 | 19 |
851+
| main.go:94:9:94:12 | ...+... | main.go:94:15:94:15 | x |
852+
| main.go:94:11:94:12 | 19 | main.go:94:9:94:12 | ...+... |
853+
| main.go:94:15:94:15 | x | main.go:94:2:94:2 | assignment to x |
854+
| main.go:95:2:95:7 | return statement | main.go:92:18:92:18 | implicit read of a |
855+
| main.go:98:1:106:1 | entry | main.go:98:25:98:25 | argument corresponding to x |
856+
| main.go:98:1:106:1 | function declaration | main.go:0:0:0:0 | exit |
857+
| main.go:98:6:98:23 | skip | main.go:98:1:106:1 | function declaration |
858+
| main.go:98:25:98:25 | argument corresponding to x | main.go:98:25:98:25 | initialization of x |
859+
| main.go:98:25:98:25 | initialization of x | main.go:99:2:99:2 | skip |
860+
| main.go:99:2:99:2 | assignment to a | main.go:99:5:99:5 | assignment to b |
861+
| main.go:99:2:99:2 | skip | main.go:99:5:99:5 | skip |
862+
| main.go:99:5:99:5 | assignment to b | main.go:100:5:100:8 | cond |
863+
| main.go:99:5:99:5 | skip | main.go:99:10:99:10 | x |
864+
| main.go:99:10:99:10 | x | main.go:99:13:99:13 | 0 |
865+
| main.go:99:13:99:13 | 0 | main.go:99:2:99:2 | assignment to a |
866+
| main.go:100:5:100:8 | cond | main.go:100:5:100:10 | call to cond |
867+
| main.go:100:5:100:10 | call to cond | main.go:98:1:106:1 | exit |
868+
| main.go:100:5:100:10 | call to cond | main.go:100:5:100:10 | call to cond is false |
869+
| main.go:100:5:100:10 | call to cond | main.go:100:5:100:10 | call to cond is true |
870+
| main.go:100:5:100:10 | call to cond is false | main.go:103:3:103:3 | skip |
871+
| main.go:100:5:100:10 | call to cond is true | main.go:101:3:101:3 | skip |
872+
| main.go:101:3:101:3 | assignment to a | main.go:105:9:105:9 | a |
873+
| main.go:101:3:101:3 | skip | main.go:101:6:101:6 | skip |
874+
| main.go:101:6:101:6 | skip | main.go:101:10:101:10 | b |
875+
| main.go:101:10:101:10 | b | main.go:101:13:101:13 | a |
876+
| main.go:101:13:101:13 | a | main.go:101:3:101:3 | assignment to a |
877+
| main.go:103:3:103:3 | skip | main.go:103:6:103:6 | skip |
878+
| main.go:103:6:103:6 | assignment to b | main.go:105:9:105:9 | a |
879+
| main.go:103:6:103:6 | skip | main.go:103:10:103:10 | b |
880+
| main.go:103:10:103:10 | b | main.go:103:13:103:13 | a |
881+
| main.go:103:13:103:13 | a | main.go:103:6:103:6 | assignment to b |
882+
| main.go:105:2:105:12 | return statement | main.go:98:1:106:1 | exit |
883+
| main.go:105:9:105:9 | a | main.go:105:12:105:12 | b |
884+
| main.go:105:12:105:12 | b | main.go:105:2:105:12 | return statement |
861885
| noretfunctions.go:0:0:0:0 | entry | noretfunctions.go:3:1:6:1 | skip |
862886
| noretfunctions.go:3:1:6:1 | skip | noretfunctions.go:8:6:8:12 | skip |
863887
| noretfunctions.go:8:1:10:1 | entry | noretfunctions.go:9:2:9:8 | selection of Exit |

‎go/ql/test/library-tests/semmle/go/controlflow/ControlFlowGraph/main.go‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,6 +53,16 @@ func baz2() (result int) {
5353
return
5454
}
5555

56+
func baz3(selector int) (result int) {
57+
result = 0
58+
if selector == 1 {
59+
return 1
60+
} else {
61+
result = 2
62+
}
63+
return
64+
}
65+
5666
func loops() {
5767
var x int
5868
for cond() {

0 commit comments

Comments
 (0)