Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Duplicate label does not produce a syntax error. #16579

Open
p5pRT opened this issue Jun 5, 2018 · 16 comments
Open

Duplicate label does not produce a syntax error. #16579

p5pRT opened this issue Jun 5, 2018 · 16 comments

Comments

@p5pRT
Copy link

p5pRT commented Jun 5, 2018

Migrated from rt.perl.org#133249 (status was 'open')

Searchable as RT133249$

@p5pRT
Copy link
Author

p5pRT commented Jun 5, 2018

From @philiprbrenan

Subject​: Duplicate label does not produce a syntax error.
Message-Id​: <5.22.1_3417_1528230277@​pousadouros>
Reply-To​: philiprbrenan@​gmail.com
To​: perlbug@​perl.org
From​: philiprbrenan@​gmail.com

This is a bug report for perl from philiprbrenan@​gmail.com,
generated with the help of perlbug 1.40 running under perl 5.22.1.

#!/usr/bin/perl
require v5.16;
goto a;
a​: 0; print 1;
a​: 1; print 2;

#12

=pod

=head1 Duplicate label does not produce a syntax error.

The program above compiles and runs successfully yet the goto is ambiguous.

=cut


Flags​:
  category=core
  severity=low


Site configuration information for perl 5.22.1​:

Configured by Debian Project at Thu Apr 5 12​:48​:47 UTC 2018.

Summary of my perl5 (revision 5 version 22 subversion 1) configuration​:

  Platform​:
  osname=linux, osvers=3.16.0, archname=x86_64-linux-gnu-thread-multi
  uname='linux localhost 3.16.0 #1 smp debian 3.16.0 x86_64 gnulinux '
  config_args='-Dusethreads -Duselargefiles -Dcc=x86_64-linux-gnu-gcc
-Dcpp=x86_64-linux-gnu-cpp -Dld=x86_64-linux-gnu-gcc -Dccflags=-DDEBIAN
-Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector-strong -Wformat
-Werror=format-security -Dldflags= -Wl,-Bsymbolic-functions -Wl,-z,relro
-Dlddlflags=-shared -Wl,-Bsymbolic-functions -Wl,-z,relro
-Dcccdlflags=-fPIC -Darchname=x86_64-linux-gnu -Dprefix=/usr
-Dprivlib=/usr/share/perl/5.22
-Darchlib=/usr/lib/x86_64-linux-gnu/perl/5.22 -Dvendorprefix=/usr
-Dvendorlib=/usr/share/perl5
-Dvendorarch=/usr/lib/x86_64-linux-gnu/perl5/5.22 -Dsiteprefix=/usr/local
-Dsitelib=/usr/local/share/perl/5.22.1
-Dsitearch=/usr/local/lib/x86_64-linux-gnu/perl/5.22.1
-Dman1dir=/usr/share/man/man1 -Dman3dir=/usr/share/man/man3
-Dsiteman1dir=/usr/local/man/man1 -Dsiteman3dir=/usr/local/man/man3
-Duse64bitint -Dman1ext=1 -Dman3ext=3perl -Dpager=/usr/bin/sensible-pager
-Uafs -Ud_csh -Ud_ualarm -Uusesfio -Uusenm -Ui_libutil -Uversiononly
-DDEBUGGING=-g -Doptimize=-O2 -dEs -Duseshrplib -Dlibperl=libperl.so.5.22.1'
  hint=recommended, useposix=true, d_sigaction=define
  useithreads=define, usemultiplicity=define
  use64bitint=define, use64bitall=define, uselongdouble=undef
  usemymalloc=n, bincompat5005=undef
  Compiler​:
  cc='x86_64-linux-gnu-gcc', ccflags ='-D_REENTRANT -D_GNU_SOURCE
-DDEBIAN -fwrapv -fno-strict-aliasing -pipe -I/usr/local/include
-D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64',
  optimize='-O2 -g',
  cppflags='-D_REENTRANT -D_GNU_SOURCE -DDEBIAN -fwrapv
-fno-strict-aliasing -pipe -I/usr/local/include'
  ccversion='', gccversion='5.4.0 20160609', gccosandvers=''
  intsize=4, longsize=8, ptrsize=8, doublesize=8, byteorder=12345678,
doublekind=3
  d_longlong=define, longlongsize=8, d_longdbl=define, longdblsize=16,
longdblkind=3
  ivtype='long', ivsize=8, nvtype='double', nvsize=8, Off_t='off_t',
lseeksize=8
  alignbytes=8, prototype=define
  Linker and Libraries​:
  ld='x86_64-linux-gnu-gcc', ldflags =' -fstack-protector-strong
-L/usr/local/lib'
  libpth=/usr/local/lib /usr/lib/gcc/x86_64-linux-gnu/5/include-fixed
/usr/include/x86_64-linux-gnu /usr/lib /lib/x86_64-linux-gnu /lib/../lib
/usr/lib/x86_64-linux-gnu /usr/lib/../lib /lib
  libs=-lgdbm -lgdbm_compat -ldb -ldl -lm -lpthread -lc -lcrypt
  perllibs=-ldl -lm -lpthread -lc -lcrypt
  libc=libc-2.23.so, so=so, useshrplib=true, libperl=libperl.so.5.22
  gnulibc_version='2.23'
  Dynamic Linking​:
  dlsrc=dl_dlopen.xs, dlext=so, d_dlsymun=undef, ccdlflags='-Wl,-E'
  cccdlflags='-fPIC', lddlflags='-shared -L/usr/local/lib
-fstack-protector-strong'

Locally applied patches​:
  DEBPKG​:debian/cpan_definstalldirs - Provide a sensible INSTALLDIRS
default for modules installed from CPAN.
  DEBPKG​:debian/db_file_ver - http​://bugs.debian.org/340047 Remove overly
restrictive DB_File version check.
  DEBPKG​:debian/doc_info - Replace generic man(1) instructions with
Debian-specific information.
  DEBPKG​:debian/enc2xs_inc - http​://bugs.debian.org/290336 Tweak enc2xs
to follow symlinks and ignore missing @​INC directories.
  DEBPKG​:debian/errno_ver - http​://bugs.debian.org/343351 Remove Errno
version check due to upgrade problems with long-running processes.
  DEBPKG​:debian/libperl_embed_doc - http​://bugs.debian.org/186778 Note
that libperl-dev package is required for embedded linking
  DEBPKG​:fixes/respect_umask - Respect umask during installation
  DEBPKG​:debian/writable_site_dirs - Set umask approproately for site
install directories
  DEBPKG​:debian/extutils_set_libperl_path - EU​:MM​: set location of
libperl.a under /usr/lib
  DEBPKG​:debian/no_packlist_perllocal - Don't install .packlist or
perllocal.pod for perl or vendor
  DEBPKG​:debian/fakeroot - Postpone LD_LIBRARY_PATH evaluation to the
binary targets.
  DEBPKG​:debian/instmodsh_doc - Debian policy doesn't install .packlist
files for core or vendor.
  DEBPKG​:debian/ld_run_path - Remove standard libs from LD_RUN_PATH as
per Debian policy.
  DEBPKG​:debian/libnet_config_path - Set location of libnet.cfg to
/etc/perl/Net as /usr may not be writable.
  DEBPKG​:debian/mod_paths - Tweak @​INC ordering for Debian
  DEBPKG​:debian/prune_libs - http​://bugs.debian.org/128355 Prune the list
of libraries wanted to what we actually need.
  DEBPKG​:fixes/net_smtp_docs - [rt.cpan.org #36038]
http​://bugs.debian.org/100195 Document the Net​::SMTP 'Port' option
  DEBPKG​:debian/perlivp - http​://bugs.debian.org/510895 Make perlivp skip
include directories in /usr/local
  DEBPKG​:debian/deprecate-with-apt - http​://bugs.debian.org/747628 Point
users to Debian packages of deprecated core modules
  DEBPKG​:debian/squelch-locale-warnings - http​://bugs.debian.org/508764
Squelch locale warnings in Debian package maintainer scripts
  DEBPKG​:debian/skip-upstream-git-tests - Skip tests specific to the
upstream Git repository
  DEBPKG​:debian/patchlevel - http​://bugs.debian.org/567489 List packaged
patches for 5.22.1-9ubuntu0.3 in patchlevel.h
  DEBPKG​:debian/skip-kfreebsd-crash - http​://bugs.debian.org/628493 [perl
#96272] Skip a crashing test case in t/op/threads.t on GNU/kFreeBSD
  DEBPKG​:fixes/document_makemaker_ccflags - http​://bugs.debian.org/628522
[rt.cpan.org #68613] Document that CCFLAGS should include $Config{ccflags}
  DEBPKG​:debian/find_html2text - http​://bugs.debian.org/640479 Configure
CPAN​::Distribution with correct name of html2text
  DEBPKG​:debian/perl5db-x-terminal-emulator.patch -
http​://bugs.debian.org/668490 Invoke x-terminal-emulator rather than xterm
in perl5db.pl
  DEBPKG​:debian/cpan-missing-site-dirs - http​://bugs.debian.org/688842
Fix CPAN​::FirstTime defaults with nonexisting site dirs if a parent is
writable
  DEBPKG​:fixes/memoize_storable_nstore - [rt.cpan.org #77790]
http​://bugs.debian.org/587650 Memoize​::Storable​: respect 'nstore' option
not respected
  DEBPKG​:debian/regen-skip - Skip a regeneration check in unrelated git
repositories
  DEBPKG​:debian/makemaker-pasthru - http​://bugs.debian.org/758471 Pass LD
settings through to subdirectories
  DEBPKG​:fixes/pod_man_reproducible_date - http​://bugs.debian.org/759405
Support POD_MAN_DATE in Pod​::Man for the left-hand footer
  DEBPKG​:debian/locale-robustness - http​://bugs.debian.org/782068 [perl
#124310] Make t/run/locale.t survive missing locales masked by LC_ALL
  DEBPKG​:fixes/podman-utc - http​://bugs.debian.org/780259 Make the
embedded date from Pod​::Man reproducible
  DEBPKG​:fixes/podman-utc-docs - http​://bugs.debian.org/780259
Documentation and test suite updates for UTC fix
  DEBPKG​:fixes/podman-empty-date - http​://bugs.debian.org/780259 Support
an empty POD_MAN_DATE environment variable
  DEBPKG​:fixes/podman-pipe - http​://bugs.debian.org/777405 Better errors
for man pages from standard input
  DEBPKG​:debian/pod2man-customized - Update porting/customized.dat for
pod2man modifications
  DEBPKG​:debian/makemaker-manext - http​://bugs.debian.org/247370 Make
EU​::MakeMaker honour MANnEXT settings in generated manpage headers
  DEBPKG​:debian/makemaker_customized - Update t/porting/customized.dat
for files patched in Debian
  DEBPKG​:debian/do-not-record-build-date - [6baa8db]
http​://bugs.debian.org/774422 [perl #125830] Allow overriding the compile
time in "perl -V" output
  DEBPKG​:fixes/podman-source-date-epoch - http​://bugs.debian.org/801621
Make Pod​::Man honor the SOURCE_DATE_EPOCH environment variable
  DEBPKG​:fixes/podman-source-date-epoch-cleanups -
http​://bugs.debian.org/801621 Coding style and documentation for
SOURCE_EPOCH_DATE
  DEBPKG​:fixes/podman-source-date-epoch-testfix -
http​://bugs.debian.org/807086 Guard for building with SOURCE_DATE_EPOCH or
POD_MAN_DATE set
  DEBPKG​:debian/devel-ppport-reproducibility -
http​://bugs.debian.org/801523 Sort the list of XS code files when
generating RealPPPort.xs
  DEBPKG​:fixes/encode-unicode-bom - http​://bugs.debian.org/798727 [
rt.cpan.org #107043] Address
https://rt.cpan.org/Public/Bug/Display.html?id=107043
  DEBPKG​:debian/encode-unicode-bom-doc - http​://bugs.debian.org/798727
Document Debian backport of Encode​::Unicode fix
  DEBPKG​:debian/kfreebsd-softupdates - http​://bugs.debian.org/796798 Work
around Debian Bug#796798
  DEBPKG​:fixes/autodie-scope - http​://bugs.debian.org/798096 Fix a
scoping issue with "no autodie" and the "system" sub
  DEBPKG​:debian/debugperl-compat-fix - [perl #127212]
http​://bugs.debian.org/810326 Disable PERL_TRACK_MEMPOOL for debugging
builds
  DEBPKG​:fixes/CVE-2015-8607_file_spec_taint_fix -
http​://bugs.debian.org/810719 [perl #126862] ensure File​::Spec​::canonpath()
preserves taint
  DEBPKG​:fixes/mkstemp-umask - http​://bugs.debian.org/810924 [perl
#127322] [e57270b] Fix umask for mkstemp(3) calls
  DEBPKG​:fixes/crosscompile-no-targethost - [perl #127234] Fix the
Configure escape with usecrosscompile but no targethost
  DEBPKG​:fixes/podlators-no-encode - [rt.cpan.org #111156] Degrade
gracefully if utf8 is requested but Encode is not available
  DEBPKG​:debian/cross-time-hires - [rt.cpan.org #111391] Add an
environment variable to skip running configuration probes
  DEBPKG​:fixes/encode-unicode-pod - Unicode.pm​: Fix POD error
  DEBPKG​:fixes/memoize-pod - [rt.cpan.org #89441] Fix POD errors in
Memoize
  DEBPKG​:fixes/ok-pod - Added encoding for pod.
  DEBPKG​:fixes/CVE-2016-2381_duplicate_env - remove duplicate environment
variables from environ
  DEBPKG​:fixes/CVE-2017-12837.patch - [PATCH] regcomp [perl #131582]
  DEBPKG​:fixes/CVE-2017-12883.patch - [PATCH] PATCH​: [perl #131598]
  DEBPKG​:fixes/CVE-2016-6185.patch - [PATCH]
=?utf8?q?Don=E2=80=99t=20let=20XSLoader=20load=20relative?=
=?utf8?q?=20paths?=
  DEBPKG​:fixes/CVE-2017-6512-pre.patch - [PATCH] Correct the order of
tests of chmod(). (#294)
  DEBPKG​:fixes/CVE-2017-6512.patch - http​://bugs.debian.org/863870 [
rt.cpan.org #121951] Prevent directory chmod race attack.
  DEBPKG​:fixes/CVE-2018-6797.patch - (perl #132227) restart a node if we
change to uni rules within the node and encounter a sharp S
  DEBPKG​:fixes/CVE-2018-6798-1.patch - [perl #132063]​: Heap buffer
overflow
  DEBPKG​:fixes/CVE-2018-6798-2.patch - v5.24.3​: fix TRIE_READ_CHAR and
DECL_TRIE_TYPE to account for non-utf8 target
  DEBPKG​:fixes/CVE-2018-6798-3.patch - (perl #132063) we should no longer
warn for this code
  DEBPKG​:fixes/CVE-2018-6913.patch - (perl #131844) fix various space
calculation issues in pp_pack.c


@​INC for perl 5.22.1​:
  /etc/perl
  /usr/local/lib/x86_64-linux-gnu/perl/5.22.1
  /usr/local/share/perl/5.22.1
  /usr/lib/x86_64-linux-gnu/perl5/5.22
  /usr/share/perl5
  /usr/lib/x86_64-linux-gnu/perl/5.22
  /usr/share/perl/5.22
  /usr/local/lib/site_perl
  /usr/lib/x86_64-linux-gnu/perl-base
  .


Environment for perl 5.22.1​:
  HOME=/home/phil
  LANG=en_US.UTF-8
  LANGUAGE=en_US
  LC_ADDRESS=en_US.UTF-8
  LC_ALL=en_US.UTF-8
  LC_CTYPE=en_US.UTF-8
  LC_IDENTIFICATION=en_US.UTF-8
  LC_MEASUREMENT=en_US.UTF-8
  LC_MONETARY=en_US.UTF-8
  LC_NAME=en_US.UTF-8
  LC_NUMERIC=en_US.UTF-8
  LC_PAPER=en_US.UTF-8
  LC_TELEPHONE=en_US.UTF-8
  LC_TIME=en_US.UTF-8
  LD_LIBRARY_PATH (unset)
  LOGDIR (unset)

PATH=/usr/local/sbin​:/usr/local/bin​:/usr/sbin​:/usr/bin​:/sbin​:/bin​:/usr/games​:/usr/local/games​:/snap/bin​:/home/phil/Android/sdk/tools/​:/home/phil/Android/sdk/platform-tools/​:/home/phil/.local/bin​:/home/phil/Android/sdk/tools/​:/home/phil/Android/sdk/platform-tools/​:/home/phil/.local/bin
  PERL_BADLANG (unset)
  SHELL=/bin/bash

@p5pRT
Copy link
Author

p5pRT commented Jun 19, 2018

From @iabyn

On Tue, Jun 05, 2018 at 01​:30​:36PM -0700, Philip R Brenan (via RT) wrote​:

#!/usr/bin/perl
require v5.16;
goto a;
a​: 0; print 1;
a​: 1; print 2;

#12

=pod

=head1 Duplicate label does not produce a syntax error.

The program above compiles and runs successfully yet the goto is ambiguous.

The behaviour of 'goto LABEL' is arcane, but the code above is legal and
unambiggous, in that at run time, perl searches out from the current
statement for a matching label, initially in the current scope, anf if
not found, in outer scopes. So it operates a 'closest match' policy.

In an ideal world, duplicate statements would have been banned, but its
been that way for 30 years and I'd be reluctant to change it.

@p5pRT
Copy link
Author

p5pRT commented Jun 19, 2018

The RT System itself - Status changed from 'new' to 'open'

@p5pRT
Copy link
Author

p5pRT commented Jun 20, 2018

From @iabyn

On Tue, Jun 19, 2018 at 09​:45​:58AM +0100, Dave Mitchell wrote​:

The behaviour of 'goto LABEL' is arcane, but the code above is legal and
unambiggous, in that at run time, perl searches out from the current
statement for a matching label, initially in the current scope, anf if
not found, in outer scopes. So it operates a 'closest match' policy.

Thinking further, a more ambiguous case is would be

  {
  FOO​:
  ...
  goto FOO;
  ...
  FOO​:
  ...
  }

I think the goto docs should explain better how it searches for labels.

Here's an example of where having the same label twice in the same scope
could be regarded as legitimate​:

  {
  FOO​: for (...) {
  for (...) { ...; last FOO if ...; }
  }

  FOO​: for (...) {
  for (...) { ...; last FOO if ...; }
  }
  }

--
Modern art​:
  "That's easy, I could have done that!"
  "Ah, but you didn't!"

@p5pRT
Copy link
Author

p5pRT commented Jun 29, 2018

From @Tux

On Tue, 05 Jun 2018 13​:30​:36 -0700, "Philip R Brenan \(via RT\)" <perlbug-followup@​perl.org> wrote​:

Subject​: Duplicate label does not produce a syntax error.

This is a bug report for perl from philiprbrenan@​gmail.com,
generated with the help of perlbug 1.40 running under perl 5.22.1.

#!/usr/bin/perl
require v5.16;
goto a;
a​: 0; print 1;
a​: 1; print 2;

#12

=pod

=head1 Duplicate label does not produce a syntax error.

The program above compiles and runs successfully yet the goto is ambiguous.

=cut

It's not a bug, but a widely used feature.

Maybe it could be an *optional* (default *OFF*) warnings category, as
making it warn would break a lot of test suites, where "SKIP" and
"TODO" are labels documented to be re-used (perldoc Test​::More, on or
about line 33)

  SKIP​: {
  $have_feature or skip $why, $how_many;

  ok (foo (), $test_name);
  is (foo (42), 23, $test_name);
  };

  TODO​: {
  local $TODO = $why;

  ok (foo (), $test_name);
  is (foo (42), 23, $test_name);
  };

--
H.Merijn Brand http​://tux.nl Perl Monger http​://amsterdam.pm.org/
using perl5.00307 .. 5.27 porting perl5 on HP-UX, AIX, and openSUSE
http​://mirrors.develooper.com/hpux/ http​://www.test-smoke.org/
http​://qa.perl.org http​://www.goldmark.org/jeff/stupid-disclaimers/

@p5pRT
Copy link
Author

p5pRT commented Jun 29, 2018

From @karenetheridge

On Fri, 29 Jun 2018 03​:47​:04 -0700, hmbrand wrote​:

making it warn would break a lot of test suites, where "SKIP" and "TODO" are labels documented to be re-used

This is a really good point. Only allowing one TODO or SKIP block per test file (or even just in the same scope) would cause lots of breakage.

However, I agree with the reporter that duplicate labels can be a confusing source of errors, and in some situations can be inferred to be accidental. Perhaps the best way to detect and report this is with a Perl​::Critic policy?

@p5pRT
Copy link
Author

p5pRT commented Jul 4, 2018

From @demerphq

On Wed, 20 Jun 2018, 03​:46 Dave Mitchell, <davem@​iabyn.com> wrote​:

On Tue, Jun 19, 2018 at 09​:45​:58AM +0100, Dave Mitchell wrote​:

The behaviour of 'goto LABEL' is arcane, but the code above is legal and
unambiggous, in that at run time, perl searches out from the current
statement for a matching label, initially in the current scope, anf if
not found, in outer scopes. So it operates a 'closest match' policy.

Thinking further, a more ambiguous case is would be

\{
    FOO&#8203;:
    \.\.\.
    goto FOO;
    \.\.\.
    FOO&#8203;:
    \.\.\.
\}

I think the goto docs should explain better how it searches for labels.

Here's an example of where having the same label twice in the same scope
could be regarded as legitimate​:

\{
    FOO&#8203;: for \(\.\.\.\) \{
        for \(\.\.\.\) \{ \.\.\.;  last FOO if \.\.\.; \}
    \}

    FOO&#8203;: for \(\.\.\.\) \{
        for \(\.\.\.\) \{ \.\.\.;  last FOO if \.\.\.; \}
    \}

Loop labels and statement labels are distinct afaiui, you can't goto a loop
label.

Yves

@p5pRT
Copy link
Author

p5pRT commented Jul 4, 2018

From @demerphq

On Wed, 4 Jul 2018, 10​:21 demerphq, <demerphq@​gmail.com> wrote​:

On Wed, 20 Jun 2018, 03​:46 Dave Mitchell, <davem@​iabyn.com> wrote​:

On Tue, Jun 19, 2018 at 09​:45​:58AM +0100, Dave Mitchell wrote​:

The behaviour of 'goto LABEL' is arcane, but the code above is legal and
unambiggous, in that at run time, perl searches out from the current
statement for a matching label, initially in the current scope, anf if
not found, in outer scopes. So it operates a 'closest match' policy.

Thinking further, a more ambiguous case is would be

\{
    FOO&#8203;:
    \.\.\.
    goto FOO;
    \.\.\.
    FOO&#8203;:
    \.\.\.
\}

I think the goto docs should explain better how it searches for labels.

Here's an example of where having the same label twice in the same scope
could be regarded as legitimate​:

\{
    FOO&#8203;: for \(\.\.\.\) \{
        for \(\.\.\.\) \{ \.\.\.;  last FOO if \.\.\.; \}
    \}

    FOO&#8203;: for \(\.\.\.\) \{
        for \(\.\.\.\) \{ \.\.\.;  last FOO if \.\.\.; \}
    \}

Loop labels and statement labels are distinct afaiui, you can't goto a
loop label

And, no. I'm wrong. Pebcak.

Yves

@p5pRT
Copy link
Author

p5pRT commented Jul 4, 2018

From Eirik-Berg.Hanssen@allverden.no

On Wed, Jul 4, 2018 at 4​:21 PM, demerphq <demerphq@​gmail.com> wrote​:

Loop labels and statement labels are distinct afaiui, you can't goto a
loop label.

  Huh?

  Did you try it? ;-)

  ... 'cause you made me do it​:

C​:\Users\ebh\Documents>perl -E "$i=0; FOO​: for (0..2) { say qq($i (loop
$_)); redo FOO if ++$i < 4 } say 'past'; goto FOO if $i < 10"
0 (loop 0)
1 (loop 0)
2 (loop 0)
3 (loop 0)
4 (loop 1)
5 (loop 2)
past
6 (loop 0)
7 (loop 1)
8 (loop 2)
past
9 (loop 0)
10 (loop 1)
11 (loop 2)
past

C​:\Users\ebh\Documents>

Eirik

@p5pRT
Copy link
Author

p5pRT commented Jul 4, 2018

From @demerphq

On Wed, 4 Jul 2018 at 16​:38, Eirik Berg Hanssen
<Eirik-Berg.Hanssen@​allverden.no> wrote​:

On Wed, Jul 4, 2018 at 4​:21 PM, demerphq <demerphq@​gmail.com> wrote​:

Loop labels and statement labels are distinct afaiui, you can't goto a loop label.

Huh?

Did you try it? ;-)

... 'cause you made me do it​:

C​:\Users\ebh\Documents>perl -E "$i=0; FOO​: for (0..2) { say qq($i (loop $_)); redo FOO if ++$i < 4 } say 'past'; goto FOO if $i < 10"
0 (loop 0)
1 (loop 0)
2 (loop 0)
3 (loop 0)
4 (loop 1)
5 (loop 2)
past
6 (loop 0)
7 (loop 1)
8 (loop 2)
past
9 (loop 0)
10 (loop 1)
11 (loop 2)
past

Yeah, i did. In some code I was working on recently and "it didn't
work", and since i did *need* the goto, I didnt poke further. Hence
the follow up mail saying my results were "pebkac". :-)

Yves

--
perl -Mre=debug -e "/just|another|perl|hacker/"

@khwilliamson
Copy link
Contributor

Is this closable? I don't see anything to do here

@jkeenan
Copy link
Contributor

jkeenan commented Apr 17, 2022

Is this closable? I don't see anything to do here

No consensus emerged to the effect that a duplicate label ought to produce a syntax error. Closing now.

@jkeenan jkeenan closed this as completed Apr 17, 2022
@hvds
Copy link
Contributor

hvds commented Apr 17, 2022

@iabyn did suggest above that "I think the goto docs should explain better how it searches for labels" for certain ambiguous cases. Not sure if that's enough to warrant keeping the ticket open.

@iabyn
Copy link
Contributor

iabyn commented Apr 18, 2022

I'd like it to be kept open

@jkeenan jkeenan reopened this Apr 18, 2022
@khwilliamson
Copy link
Contributor

What would it take to close it then?

@iabyn
Copy link
Contributor

iabyn commented Oct 11, 2022 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

6 participants