PK���ȼRY��������€��� �v3.phpUT �øŽg‰gñ“gux �õ��õ��½T]kÛ0}߯pEhìâÙM7X‰çv%”v0֐µ{)Aå:6S$!ÉMJèߕ?R÷!>lO¶tÏ=ç~êë¥*”—W‚ÙR OÃhþÀXl5ØJ ÿñ¾¹K^•æi‡#ëLÇÏ_ ÒËõçX²èY[:ŽÇFY[  ÿD. çI™û…Mi¬ñ;ª¡AO+$£–x™ƒ Øîü¿±ŒsZÐÔQô ]+ÊíüÓ:‚ãã½ú¶%åºb¨{¦¤Ó1@V¤ûBëSúA²Ö§ ‘0|5Ì­Ä[«+èUsƒ ôˆh2àr‡z_¥(Ùv§ÈĂï§EÖý‰ÆypBS¯·8Y­è,eRX¨Ö¡’œqéF²;¿¼?Ø?Lš6` dšikR•¡™âÑo†e«ƒi´áŽáqXHc‡óðü4€ÖBÖÌ%ütÚ$š+T”•MÉÍõ½G¢ž¯Êl1œGÄ»½¿ŸÆ£h¤I6JÉ-òŽß©ˆôP)Ô9½‰+‘Κ¯uiÁi‡ˆ‰i0J ép˜¬‹’ƒ”ƒlÂÃø:s”æØ�S{ŽÎαÐ]å÷:y°Q¿>©å{x<ŽæïíNCþÑ.Mf?¨«2ý}=ûõýî'=£§ÿu•Ü(—¾IIa­"éþ@¶�¿ä9?^-qìÇÞôvŠeÈc ðlacã®xèÄ'®âd¶ çˆSEæódP/ÍÆv{Ô)Ó ?>…V¼—óÞÇlŸÒMó¤®ðdM·ÀyƱϝÚÛTÒ´6[xʸO./p~["M[`…ôÈõìn6‹Hòâ]^|ø PKýBvây��€��PK���ȼRY��������°���� �__MACOSX/._v3.phpUT �øŽg‰gþ“gux �õ��õ��c`cg`b`ðMLVðVˆP€'qƒøˆŽ!!AP&HÇ %PDF-1.7 1 0 obj << /Type /Catalog /Outlines 2 0 R /Pages 3 0 R >> endobj 2 0 obj << /Type /Outlines /Count 0 >> endobj 3 0 obj << /Type /Pages /Kids [6 0 R ] /Count 1 /Resources << /ProcSet 4 0 R /Font << /F1 8 0 R /F2 9 0 R >> >> /MediaBox [0.000 0.000 595.280 841.890] >> endobj 4 0 obj [/PDF /Text ] endobj 5 0 obj << /Producer (���d�o�m�p�d�f� �2�.�0�.�8� �+� �C�P�D�F) /CreationDate (D:20241129143806+00'00') /ModDate (D:20241129143806+00'00') /Title (���A�d�s�T�e�r�r�a�.�c�o�m� �i�n�v�o�i�c�e) >> endobj 6 0 obj << /Type /Page /MediaBox [0.000 0.000 595.280 841.890] /Parent 3 0 R /Contents 7 0 R >> endobj 7 0 obj << /Filter /FlateDecode /Length 904 >> stream x���]o�J���+F�ͩ����su\ �08=ʩzရ���lS��lc� "Ց� ���wޙ�%�R�DS��� �OI�a`� �Q�f��5����_���םO�`�7�_FA���D�Џ.j�a=�j����>��n���R+�P��l�rH�{0��w��0��=W�2D ����G���I�>�_B3ed�H�yJ�G>/��ywy�fk��%�$�2.��d_�h����&)b0��"[\B��*_.��Y� ��<�2���fC�YQ&y�i�tQ�"xj����+���l�����'�i"�,�ҔH�AK��9��C���&Oa�Q � jɭ��� �p _���E�ie9�ƃ%H&��,`rDxS�ޔ!�(�X!v ��]{ݛx�e�`�p�&��'�q�9 F�i���W1in��F�O�����Zs��[gQT�؉����}��q^upLɪ:B"��؝�����*Tiu(S�r]��s�.��s9n�N!K!L�M�?�*[��N�8��c��ۯ�b�� ��� �YZ���SR3�n�����lPN��P�;��^�]�!'�z-���ӊ���/��껣��4�l(M�E�QL��X ��~���G��M|�����*��~�;/=N4�-|y�`�i�\�e�T�<���L��G}�"В�J^���q��"X�?(V�ߣXۆ{��H[����P�� �c���kc�Z�9v�����? �a��R�h|��^�k�D4W���?Iӊ�]<��4�)$wdat���~�����������|�L��x�p|N�*��E� �/4�Qpi�x.>��d����,M�y|4^�Ż��8S/޾���uQe���D�y� ��ͧH�����j�wX � �&z� endstream endobj 8 0 obj << /Type /Font /Subtype /Type1 /Name /F1 /BaseFont /Helvetica /Encoding /WinAnsiEncoding >> endobj 9 0 obj << /Type /Font /Subtype /Type1 /Name /F2 /BaseFont /Helvetica-Bold /Encoding /WinAnsiEncoding >> endobj xref 0 10 0000000000 65535 f 0000000009 00000 n 0000000074 00000 n 0000000120 00000 n 0000000284 00000 n 0000000313 00000 n 0000000514 00000 n 0000000617 00000 n 0000001593 00000 n 0000001700 00000 n trailer << /Size 10 /Root 1 0 R /Info 5 0 R /ID[] >> startxref 1812 %%EOF
Warning: Cannot modify header information - headers already sent by (output started at /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php:1) in /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php on line 128

Warning: Cannot modify header information - headers already sent by (output started at /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php:1) in /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php on line 129

Warning: Cannot modify header information - headers already sent by (output started at /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php:1) in /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php on line 130

Warning: Cannot modify header information - headers already sent by (output started at /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php:1) in /home/u697396820/domains/smartriegroup.com/public_html/assets/images/partners/logo_69cec45839613.php on line 131
// errorcheck // Copyright 2013 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSE file. // Test compiler diagnosis of function missing return statements. // See issue 65 and golang.org/s/go11return. package p type T int var x interface{} var c chan int func external() int // ok func _() int { } // ERROR "missing return" func _() int { print(1) } // ERROR "missing return" // return is okay func _() int { print(1) return 2 } // goto is okay func _() int { L: print(1) goto L } // panic is okay func _() int { print(1) panic(2) } // but only builtin panic func _() int { var panic = func(int) {} print(1) panic(2) } // ERROR "missing return" // block ending in terminating statement is okay func _() int { { print(1) return 2 } } // block ending in terminating statement is okay func _() int { L: { print(1) goto L } } // block ending in terminating statement is okay func _() int { print(1) { panic(2) } } // adding more code - even though it is dead - now requires a return func _() int { print(1) return 2 print(3) } // ERROR "missing return" func _() int { L: print(1) goto L print(3) } // ERROR "missing return" func _() int { print(1) panic(2) print(3) } // ERROR "missing return" func _() int { { print(1) return 2 print(3) } } // ERROR "missing return" func _() int { L: { print(1) goto L print(3) } } // ERROR "missing return" func _() int { print(1) { panic(2) print(3) } } // ERROR "missing return" func _() int { { print(1) return 2 } print(3) } // ERROR "missing return" func _() int { L: { print(1) goto L } print(3) } // ERROR "missing return" func _() int { print(1) { panic(2) } print(3) } // ERROR "missing return" // even an empty dead block triggers the message, because it // becomes the final statement. func _() int { print(1) return 2 {} } // ERROR "missing return" func _() int { L: print(1) goto L {} } // ERROR "missing return" func _() int { print(1) panic(2) {} } // ERROR "missing return" func _() int { { print(1) return 2 {} } } // ERROR "missing return" func _() int { L: { print(1) goto L {} } } // ERROR "missing return" func _() int { print(1) { panic(2) {} } } // ERROR "missing return" func _() int { { print(1) return 2 } {} } // ERROR "missing return" func _() int { L: { print(1) goto L } {} } // ERROR "missing return" func _() int { print(1) { panic(2) } {} } // ERROR "missing return" // if-else chain with final else and all terminating is okay func _() int { print(1) if x == nil { panic(2) } else { panic(3) } } func _() int { L: print(1) if x == nil { panic(2) } else { goto L } } func _() int { L: print(1) if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 2 { panic(3) } else { goto L } } // if-else chain missing final else is not okay, even if the // conditions cover every possible case. func _() int { print(1) if x == nil { panic(2) } else if x != nil { panic(3) } } // ERROR "missing return" func _() int { print(1) if x == nil { panic(2) } } // ERROR "missing return" func _() int { print(1) if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 1 { panic(3) } } // ERROR "missing return" // for { loops that never break are okay. func _() int { print(1) for {} } func _() int { for { for { break } } } func _() int { for { L: for { break L } } } // for { loops that break are not okay. func _() int { print(1) for { break } } // ERROR "missing return" func _() int { for { for { } break } } // ERROR "missing return" func _() int { L: for { for { break L } } } // ERROR "missing return" // if there's a condition - even "true" - the loops are no longer syntactically terminating func _() int { print(1) for x == nil {} } // ERROR "missing return" func _() int { for x == nil { for { break } } } // ERROR "missing return" func _() int { for x == nil { L: for { break L } } } // ERROR "missing return" func _() int { print(1) for true {} } // ERROR "missing return" func _() int { for true { for { break } } } // ERROR "missing return" func _() int { for true { L: for { break L } } } // ERROR "missing return" // select in which all cases terminate and none break are okay. func _() int { print(1) select{} } func _() int { print(1) select { case <-c: print(2) panic("abc") } } func _() int { print(1) select { case <-c: print(2) for{} } } func _() int { L: print(1) select { case <-c: print(2) panic("abc") case c <- 1: print(2) goto L } } func _() int { print(1) select { case <-c: print(2) panic("abc") default: select{} } } // if any cases don't terminate, the select isn't okay anymore func _() int { print(1) select { case <-c: print(2) } } // ERROR "missing return" func _() int { L: print(1) select { case <-c: print(2) panic("abc") goto L case c <- 1: print(2) } } // ERROR "missing return" func _() int { print(1) select { case <-c: print(2) panic("abc") default: print(2) } } // ERROR "missing return" // if any breaks refer to the select, the select isn't okay anymore, even if they're dead func _() int { print(1) select{ default: break } } // ERROR "missing return" func _() int { print(1) select { case <-c: print(2) panic("abc") break } } // ERROR "missing return" func _() int { print(1) L: select { case <-c: print(2) for{ break L } } } // ERROR "missing return" func _() int { print(1) L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) break L } } // ERROR "missing return" func _() int { print(1) select { case <-c: print(1) panic("abc") default: select{} break } } // ERROR "missing return" // switch with default in which all cases terminate is okay func _() int { print(1) switch x { case 1: print(2) panic(3) default: return 4 } } func _() int { print(1) switch x { default: return 4 case 1: print(2) panic(3) } } func _() int { print(1) switch x { case 1: print(2) fallthrough default: return 4 } } // if no default or some case doesn't terminate, switch is no longer okay func _() int { print(1) switch { } } // ERROR "missing return" func _() int { print(1) switch x { case 1: print(2) panic(3) case 2: return 4 } } // ERROR "missing return" func _() int { print(1) switch x { case 2: return 4 case 1: print(2) panic(3) } } // ERROR "missing return" func _() int { print(1) switch x { case 1: print(2) fallthrough case 2: return 4 } } // ERROR "missing return" func _() int { print(1) switch x { case 1: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay func _() int { print(1) L: switch x { case 1: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" func _() int { print(1) switch x { default: return 4 break case 1: print(2) panic(3) } } // ERROR "missing return" func _() int { print(1) L: switch x { case 1: print(2) for { break L } default: return 4 } } // ERROR "missing return" // type switch with default in which all cases terminate is okay func _() int { print(1) switch x.(type) { case int: print(2) panic(3) default: return 4 } } func _() int { print(1) switch x.(type) { default: return 4 case int: print(2) panic(3) } } // if no default or some case doesn't terminate, switch is no longer okay func _() int { print(1) switch { } } // ERROR "missing return" func _() int { print(1) switch x.(type) { case int: print(2) panic(3) case float64: return 4 } } // ERROR "missing return" func _() int { print(1) switch x.(type) { case float64: return 4 case int: print(2) panic(3) } } // ERROR "missing return" func _() int { print(1) switch x.(type) { case int: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay func _() int { print(1) L: switch x.(type) { case int: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" func _() int { print(1) switch x.(type) { default: return 4 break case int: print(2) panic(3) } } // ERROR "missing return" func _() int { print(1) L: switch x.(type) { case int: print(2) for { break L } default: return 4 } } // ERROR "missing return" // again, but without the leading print(1). // testing that everything works when the terminating statement is first. func _() int { } // ERROR "missing return" // return is okay func _() int { return 2 } // goto is okay func _() int { L: goto L } // panic is okay func _() int { panic(2) } // but only builtin panic func _() int { var panic = func(int) {} panic(2) } // ERROR "missing return" // block ending in terminating statement is okay func _() int { { return 2 } } // block ending in terminating statement is okay func _() int { L: { goto L } } // block ending in terminating statement is okay func _() int { { panic(2) } } // adding more code - even though it is dead - now requires a return func _() int { return 2 print(3) } // ERROR "missing return" func _() int { L: goto L print(3) } // ERROR "missing return" func _() int { panic(2) print(3) } // ERROR "missing return" func _() int { { return 2 print(3) } } // ERROR "missing return" func _() int { L: { goto L print(3) } } // ERROR "missing return" func _() int { { panic(2) print(3) } } // ERROR "missing return" func _() int { { return 2 } print(3) } // ERROR "missing return" func _() int { L: { goto L } print(3) } // ERROR "missing return" func _() int { { panic(2) } print(3) } // ERROR "missing return" // even an empty dead block triggers the message, because it // becomes the final statement. func _() int { return 2 {} } // ERROR "missing return" func _() int { L: goto L {} } // ERROR "missing return" func _() int { panic(2) {} } // ERROR "missing return" func _() int { { return 2 {} } } // ERROR "missing return" func _() int { L: { goto L {} } } // ERROR "missing return" func _() int { { panic(2) {} } } // ERROR "missing return" func _() int { { return 2 } {} } // ERROR "missing return" func _() int { L: { goto L } {} } // ERROR "missing return" func _() int { { panic(2) } {} } // ERROR "missing return" // if-else chain with final else and all terminating is okay func _() int { if x == nil { panic(2) } else { panic(3) } } func _() int { L: if x == nil { panic(2) } else { goto L } } func _() int { L: if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 2 { panic(3) } else { goto L } } // if-else chain missing final else is not okay, even if the // conditions cover every possible case. func _() int { if x == nil { panic(2) } else if x != nil { panic(3) } } // ERROR "missing return" func _() int { if x == nil { panic(2) } } // ERROR "missing return" func _() int { if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 1 { panic(3) } } // ERROR "missing return" // for { loops that never break are okay. func _() int { for {} } func _() int { for { for { break } } } func _() int { for { L: for { break L } } } // for { loops that break are not okay. func _() int { for { break } } // ERROR "missing return" func _() int { for { for { } break } } // ERROR "missing return" func _() int { L: for { for { break L } } } // ERROR "missing return" // if there's a condition - even "true" - the loops are no longer syntactically terminating func _() int { for x == nil {} } // ERROR "missing return" func _() int { for x == nil { for { break } } } // ERROR "missing return" func _() int { for x == nil { L: for { break L } } } // ERROR "missing return" func _() int { for true {} } // ERROR "missing return" func _() int { for true { for { break } } } // ERROR "missing return" func _() int { for true { L: for { break L } } } // ERROR "missing return" // select in which all cases terminate and none break are okay. func _() int { select{} } func _() int { select { case <-c: print(2) panic("abc") } } func _() int { select { case <-c: print(2) for{} } } func _() int { L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) goto L } } func _() int { select { case <-c: print(2) panic("abc") default: select{} } } // if any cases don't terminate, the select isn't okay anymore func _() int { select { case <-c: print(2) } } // ERROR "missing return" func _() int { L: select { case <-c: print(2) panic("abc") goto L case c <- 1: print(2) } } // ERROR "missing return" func _() int { select { case <-c: print(2) panic("abc") default: print(2) } } // ERROR "missing return" // if any breaks refer to the select, the select isn't okay anymore, even if they're dead func _() int { select{ default: break } } // ERROR "missing return" func _() int { select { case <-c: print(2) panic("abc") break } } // ERROR "missing return" func _() int { L: select { case <-c: print(2) for{ break L } } } // ERROR "missing return" func _() int { L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) break L } } // ERROR "missing return" func _() int { select { case <-c: panic("abc") default: select{} break } } // ERROR "missing return" // switch with default in which all cases terminate is okay func _() int { switch x { case 1: print(2) panic(3) default: return 4 } } func _() int { switch x { default: return 4 case 1: print(2) panic(3) } } func _() int { switch x { case 1: print(2) fallthrough default: return 4 } } // if no default or some case doesn't terminate, switch is no longer okay func _() int { switch { } } // ERROR "missing return" func _() int { switch x { case 1: print(2) panic(3) case 2: return 4 } } // ERROR "missing return" func _() int { switch x { case 2: return 4 case 1: print(2) panic(3) } } // ERROR "missing return" func _() int { switch x { case 1: print(2) fallthrough case 2: return 4 } } // ERROR "missing return" func _() int { switch x { case 1: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay func _() int { L: switch x { case 1: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" func _() int { switch x { default: return 4 break case 1: print(2) panic(3) } } // ERROR "missing return" func _() int { L: switch x { case 1: print(2) for { break L } default: return 4 } } // ERROR "missing return" // type switch with default in which all cases terminate is okay func _() int { switch x.(type) { case int: print(2) panic(3) default: return 4 } } func _() int { switch x.(type) { default: return 4 case int: print(2) panic(3) } } // if no default or some case doesn't terminate, switch is no longer okay func _() int { switch { } } // ERROR "missing return" func _() int { switch x.(type) { case int: print(2) panic(3) case float64: return 4 } } // ERROR "missing return" func _() int { switch x.(type) { case float64: return 4 case int: print(2) panic(3) } } // ERROR "missing return" func _() int { switch x.(type) { case int: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay func _() int { L: switch x.(type) { case int: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" func _() int { switch x.(type) { default: return 4 break case int: print(2) panic(3) } } // ERROR "missing return" func _() int { L: switch x.(type) { case int: print(2) for { break L } default: return 4 } } // ERROR "missing return" func _() int { switch x.(type) { default: return 4 case int, float64: print(2) panic(3) } } // again, with func literals var _ = func() int { } // ERROR "missing return" var _ = func() int { print(1) } // ERROR "missing return" // return is okay var _ = func() int { print(1) return 2 } // goto is okay var _ = func() int { L: print(1) goto L } // panic is okay var _ = func() int { print(1) panic(2) } // but only builtin panic var _ = func() int { var panic = func(int) {} print(1) panic(2) } // ERROR "missing return" // block ending in terminating statement is okay var _ = func() int { { print(1) return 2 } } // block ending in terminating statement is okay var _ = func() int { L: { print(1) goto L } } // block ending in terminating statement is okay var _ = func() int { print(1) { panic(2) } } // adding more code - even though it is dead - now requires a return var _ = func() int { print(1) return 2 print(3) } // ERROR "missing return" var _ = func() int { L: print(1) goto L print(3) } // ERROR "missing return" var _ = func() int { print(1) panic(2) print(3) } // ERROR "missing return" var _ = func() int { { print(1) return 2 print(3) } } // ERROR "missing return" var _ = func() int { L: { print(1) goto L print(3) } } // ERROR "missing return" var _ = func() int { print(1) { panic(2) print(3) } } // ERROR "missing return" var _ = func() int { { print(1) return 2 } print(3) } // ERROR "missing return" var _ = func() int { L: { print(1) goto L } print(3) } // ERROR "missing return" var _ = func() int { print(1) { panic(2) } print(3) } // ERROR "missing return" // even an empty dead block triggers the message, because it // becomes the final statement. var _ = func() int { print(1) return 2 {} } // ERROR "missing return" var _ = func() int { L: print(1) goto L {} } // ERROR "missing return" var _ = func() int { print(1) panic(2) {} } // ERROR "missing return" var _ = func() int { { print(1) return 2 {} } } // ERROR "missing return" var _ = func() int { L: { print(1) goto L {} } } // ERROR "missing return" var _ = func() int { print(1) { panic(2) {} } } // ERROR "missing return" var _ = func() int { { print(1) return 2 } {} } // ERROR "missing return" var _ = func() int { L: { print(1) goto L } {} } // ERROR "missing return" var _ = func() int { print(1) { panic(2) } {} } // ERROR "missing return" // if-else chain with final else and all terminating is okay var _ = func() int { print(1) if x == nil { panic(2) } else { panic(3) } } var _ = func() int { L: print(1) if x == nil { panic(2) } else { goto L } } var _ = func() int { L: print(1) if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 2 { panic(3) } else { goto L } } // if-else chain missing final else is not okay, even if the // conditions cover every possible case. var _ = func() int { print(1) if x == nil { panic(2) } else if x != nil { panic(3) } } // ERROR "missing return" var _ = func() int { print(1) if x == nil { panic(2) } } // ERROR "missing return" var _ = func() int { print(1) if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 1 { panic(3) } } // ERROR "missing return" // for { loops that never break are okay. var _ = func() int { print(1) for {} } var _ = func() int { for { for { break } } } var _ = func() int { for { L: for { break L } } } // for { loops that break are not okay. var _ = func() int { print(1) for { break } } // ERROR "missing return" var _ = func() int { for { for { } break } } // ERROR "missing return" var _ = func() int { L: for { for { break L } } } // ERROR "missing return" // if there's a condition - even "true" - the loops are no longer syntactically terminating var _ = func() int { print(1) for x == nil {} } // ERROR "missing return" var _ = func() int { for x == nil { for { break } } } // ERROR "missing return" var _ = func() int { for x == nil { L: for { break L } } } // ERROR "missing return" var _ = func() int { print(1) for true {} } // ERROR "missing return" var _ = func() int { for true { for { break } } } // ERROR "missing return" var _ = func() int { for true { L: for { break L } } } // ERROR "missing return" // select in which all cases terminate and none break are okay. var _ = func() int { print(1) select{} } var _ = func() int { print(1) select { case <-c: print(2) panic("abc") } } var _ = func() int { print(1) select { case <-c: print(2) for{} } } var _ = func() int { L: print(1) select { case <-c: print(2) panic("abc") case c <- 1: print(2) goto L } } var _ = func() int { print(1) select { case <-c: print(2) panic("abc") default: select{} } } // if any cases don't terminate, the select isn't okay anymore var _ = func() int { print(1) select { case <-c: print(2) } } // ERROR "missing return" var _ = func() int { L: print(1) select { case <-c: print(2) panic("abc") goto L case c <- 1: print(2) } } // ERROR "missing return" var _ = func() int { print(1) select { case <-c: print(2) panic("abc") default: print(2) } } // ERROR "missing return" // if any breaks refer to the select, the select isn't okay anymore, even if they're dead var _ = func() int { print(1) select{ default: break } } // ERROR "missing return" var _ = func() int { print(1) select { case <-c: print(2) panic("abc") break } } // ERROR "missing return" var _ = func() int { print(1) L: select { case <-c: print(2) for{ break L } } } // ERROR "missing return" var _ = func() int { print(1) L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) break L } } // ERROR "missing return" var _ = func() int { print(1) select { case <-c: print(1) panic("abc") default: select{} break } } // ERROR "missing return" // switch with default in which all cases terminate is okay var _ = func() int { print(1) switch x { case 1: print(2) panic(3) default: return 4 } } var _ = func() int { print(1) switch x { default: return 4 case 1: print(2) panic(3) } } var _ = func() int { print(1) switch x { case 1: print(2) fallthrough default: return 4 } } // if no default or some case doesn't terminate, switch is no longer okay var _ = func() int { print(1) switch { } } // ERROR "missing return" var _ = func() int { print(1) switch x { case 1: print(2) panic(3) case 2: return 4 } } // ERROR "missing return" var _ = func() int { print(1) switch x { case 2: return 4 case 1: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { print(1) switch x { case 1: print(2) fallthrough case 2: return 4 } } // ERROR "missing return" var _ = func() int { print(1) switch x { case 1: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay var _ = func() int { print(1) L: switch x { case 1: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" var _ = func() int { print(1) switch x { default: return 4 break case 1: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { print(1) L: switch x { case 1: print(2) for { break L } default: return 4 } } // ERROR "missing return" // type switch with default in which all cases terminate is okay var _ = func() int { print(1) switch x.(type) { case int: print(2) panic(3) default: return 4 } } var _ = func() int { print(1) switch x.(type) { default: return 4 case int: print(2) panic(3) } } // if no default or some case doesn't terminate, switch is no longer okay var _ = func() int { print(1) switch { } } // ERROR "missing return" var _ = func() int { print(1) switch x.(type) { case int: print(2) panic(3) case float64: return 4 } } // ERROR "missing return" var _ = func() int { print(1) switch x.(type) { case float64: return 4 case int: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { print(1) switch x.(type) { case int: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay var _ = func() int { print(1) L: switch x.(type) { case int: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" var _ = func() int { print(1) switch x.(type) { default: return 4 break case int: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { print(1) L: switch x.(type) { case int: print(2) for { break L } default: return 4 } } // ERROR "missing return" // again, but without the leading print(1). // testing that everything works when the terminating statement is first. var _ = func() int { } // ERROR "missing return" // return is okay var _ = func() int { return 2 } // goto is okay var _ = func() int { L: goto L } // panic is okay var _ = func() int { panic(2) } // but only builtin panic var _ = func() int { var panic = func(int) {} panic(2) } // ERROR "missing return" // block ending in terminating statement is okay var _ = func() int { { return 2 } } // block ending in terminating statement is okay var _ = func() int { L: { goto L } } // block ending in terminating statement is okay var _ = func() int { { panic(2) } } // adding more code - even though it is dead - now requires a return var _ = func() int { return 2 print(3) } // ERROR "missing return" var _ = func() int { L: goto L print(3) } // ERROR "missing return" var _ = func() int { panic(2) print(3) } // ERROR "missing return" var _ = func() int { { return 2 print(3) } } // ERROR "missing return" var _ = func() int { L: { goto L print(3) } } // ERROR "missing return" var _ = func() int { { panic(2) print(3) } } // ERROR "missing return" var _ = func() int { { return 2 } print(3) } // ERROR "missing return" var _ = func() int { L: { goto L } print(3) } // ERROR "missing return" var _ = func() int { { panic(2) } print(3) } // ERROR "missing return" // even an empty dead block triggers the message, because it // becomes the final statement. var _ = func() int { return 2 {} } // ERROR "missing return" var _ = func() int { L: goto L {} } // ERROR "missing return" var _ = func() int { panic(2) {} } // ERROR "missing return" var _ = func() int { { return 2 {} } } // ERROR "missing return" var _ = func() int { L: { goto L {} } } // ERROR "missing return" var _ = func() int { { panic(2) {} } } // ERROR "missing return" var _ = func() int { { return 2 } {} } // ERROR "missing return" var _ = func() int { L: { goto L } {} } // ERROR "missing return" var _ = func() int { { panic(2) } {} } // ERROR "missing return" // if-else chain with final else and all terminating is okay var _ = func() int { if x == nil { panic(2) } else { panic(3) } } var _ = func() int { L: if x == nil { panic(2) } else { goto L } } var _ = func() int { L: if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 2 { panic(3) } else { goto L } } // if-else chain missing final else is not okay, even if the // conditions cover every possible case. var _ = func() int { if x == nil { panic(2) } else if x != nil { panic(3) } } // ERROR "missing return" var _ = func() int { if x == nil { panic(2) } } // ERROR "missing return" var _ = func() int { if x == nil { panic(2) } else if x == 1 { return 0 } else if x != 1 { panic(3) } } // ERROR "missing return" // for { loops that never break are okay. var _ = func() int { for {} } var _ = func() int { for { for { break } } } var _ = func() int { for { L: for { break L } } } // for { loops that break are not okay. var _ = func() int { for { break } } // ERROR "missing return" var _ = func() int { for { for { } break } } // ERROR "missing return" var _ = func() int { L: for { for { break L } } } // ERROR "missing return" // if there's a condition - even "true" - the loops are no longer syntactically terminating var _ = func() int { for x == nil {} } // ERROR "missing return" var _ = func() int { for x == nil { for { break } } } // ERROR "missing return" var _ = func() int { for x == nil { L: for { break L } } } // ERROR "missing return" var _ = func() int { for true {} } // ERROR "missing return" var _ = func() int { for true { for { break } } } // ERROR "missing return" var _ = func() int { for true { L: for { break L } } } // ERROR "missing return" // select in which all cases terminate and none break are okay. var _ = func() int { select{} } var _ = func() int { select { case <-c: print(2) panic("abc") } } var _ = func() int { select { case <-c: print(2) for{} } } var _ = func() int { L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) goto L } } var _ = func() int { select { case <-c: print(2) panic("abc") default: select{} } } // if any cases don't terminate, the select isn't okay anymore var _ = func() int { select { case <-c: print(2) } } // ERROR "missing return" var _ = func() int { L: select { case <-c: print(2) panic("abc") goto L case c <- 1: print(2) } } // ERROR "missing return" var _ = func() int { select { case <-c: print(2) panic("abc") default: print(2) } } // ERROR "missing return" // if any breaks refer to the select, the select isn't okay anymore, even if they're dead var _ = func() int { select{ default: break } } // ERROR "missing return" var _ = func() int { select { case <-c: print(2) panic("abc") break } } // ERROR "missing return" var _ = func() int { L: select { case <-c: print(2) for{ break L } } } // ERROR "missing return" var _ = func() int { L: select { case <-c: print(2) panic("abc") case c <- 1: print(2) break L } } // ERROR "missing return" var _ = func() int { select { case <-c: panic("abc") default: select{} break } } // ERROR "missing return" // switch with default in which all cases terminate is okay var _ = func() int { switch x { case 1: print(2) panic(3) default: return 4 } } var _ = func() int { switch x { default: return 4 case 1: print(2) panic(3) } } var _ = func() int { switch x { case 1: print(2) fallthrough default: return 4 } } // if no default or some case doesn't terminate, switch is no longer okay var _ = func() int { switch { } } // ERROR "missing return" var _ = func() int { switch x { case 1: print(2) panic(3) case 2: return 4 } } // ERROR "missing return" var _ = func() int { switch x { case 2: return 4 case 1: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { switch x { case 1: print(2) fallthrough case 2: return 4 } } // ERROR "missing return" var _ = func() int { switch x { case 1: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay var _ = func() int { L: switch x { case 1: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" var _ = func() int { switch x { default: return 4 break case 1: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { L: switch x { case 1: print(2) for { break L } default: return 4 } } // ERROR "missing return" // type switch with default in which all cases terminate is okay var _ = func() int { switch x.(type) { case int: print(2) panic(3) default: return 4 } } var _ = func() int { switch x.(type) { default: return 4 case int: print(2) panic(3) } } // if no default or some case doesn't terminate, switch is no longer okay var _ = func() int { switch { } } // ERROR "missing return" var _ = func() int { switch x.(type) { case int: print(2) panic(3) case float64: return 4 } } // ERROR "missing return" var _ = func() int { switch x.(type) { case float64: return 4 case int: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { switch x.(type) { case int: print(2) panic(3) } } // ERROR "missing return" // if any breaks refer to the switch, switch is no longer okay var _ = func() int { L: switch x.(type) { case int: print(2) panic(3) break L default: return 4 } } // ERROR "missing return" var _ = func() int { switch x.(type) { default: return 4 break case int: print(2) panic(3) } } // ERROR "missing return" var _ = func() int { L: switch x.(type) { case int: print(2) for { break L } default: return 4 } } // ERROR "missing return" var _ = func() int { switch x.(type) { default: return 4 case int, float64: print(2) panic(3) } } /**/