#!/usr/bin/perl # # Regenerate (overwriting only if changed): # # lib/warnings.pm # warnings.h # # from information hardcoded into this script (the $WARNING_TREE hash), plus the # template for warnings.pm in the DATA section. # # When changing the number of warnings, t/op/caller.t should change to # correspond with the value of $BYTES in lib/warnings.pm # # With an argument of 'tree', just dump the contents of $WARNING_TREE and exits. # Also accepts the standard regen_lib -q and -v args. # # This script is normally invoked from regen.pl. $VERSION = '1.64'; BEGIN { require './regen/regen_lib.pl'; push @INC, './lib'; } use strict ; sub DEFAULT_ON () { 1 } sub DEFAULT_OFF () { 2 } # Define the hierarchy of warnings. # # Each level in the tree is a hash which lists the names of all the # children below that level. Each child is an array consisting of the # version when that warnings category was introduced and, if a terminal # category, whether that warning is on by default; otherwise a ref to # another hash of children. # # Note that the version numbers are currently only used to sort and to # generate code comments in the output files. # # Note that warning names aren't hierarchical; by having 'pipe' as a child # of 'io', a warnings category called 'io::pipe' is NOT automatically # created. But the warnings category 'io' WILL include all the mask bits # necessary to turn on 'pipe', 'unopened' etc. our $WARNING_TREE = { 'all' => [ 5.008, { 'io' => [ 5.008, { 'pipe' => [ 5.008, DEFAULT_OFF], 'unopened' => [ 5.008, DEFAULT_OFF], 'closed' => [ 5.008, DEFAULT_OFF], 'newline' => [ 5.008, DEFAULT_OFF], 'exec' => [ 5.008, DEFAULT_OFF], 'layer' => [ 5.008, DEFAULT_OFF], 'syscalls' => [ 5.019, DEFAULT_OFF], }], 'syntax' => [ 5.008, { 'ambiguous' => [ 5.008, DEFAULT_OFF], 'semicolon' => [ 5.008, DEFAULT_OFF], 'precedence' => [ 5.008, DEFAULT_OFF], 'bareword' => [ 5.008, DEFAULT_OFF], 'reserved' => [ 5.008, DEFAULT_OFF], 'digit' => [ 5.008, DEFAULT_OFF], 'parenthesis' => [ 5.008, DEFAULT_OFF], 'printf' => [ 5.008, DEFAULT_OFF], 'prototype' => [ 5.008, DEFAULT_OFF], 'qw' => [ 5.008, DEFAULT_OFF], 'illegalproto' => [ 5.011, DEFAULT_OFF], }], 'severe' => [ 5.008, { 'inplace' => [ 5.008, DEFAULT_ON], 'internal' => [ 5.008, DEFAULT_OFF], 'debugging' => [ 5.008, DEFAULT_ON], 'malloc' => [ 5.008, DEFAULT_ON], }], 'deprecated' => [ 5.008, DEFAULT_ON, { 'deprecated::goto_construct' => [ 5.011003, DEFAULT_ON], 'deprecated::unicode_property_name' => [ 5.011003, DEFAULT_ON], 'deprecated::dot_in_inc' => [ 5.025011, DEFAULT_ON], 'deprecated::version_downgrade' => [ 5.035009, DEFAULT_ON], 'deprecated::delimiter_will_be_paired' => [ 5.035010, DEFAULT_ON], 'deprecated::apostrophe_as_package_separator' => [ 5.037009, DEFAULT_ON], 'deprecated::smartmatch' => [ 5.037010, DEFAULT_ON], }], 'void' => [ 5.008, DEFAULT_OFF], 'recursion' => [ 5.008, DEFAULT_OFF], 'redefine' => [ 5.008, DEFAULT_OFF], 'numeric' => [ 5.008, DEFAULT_OFF], 'uninitialized' => [ 5.008, DEFAULT_OFF], 'once' => [ 5.008, DEFAULT_OFF], 'misc' => [ 5.008, DEFAULT_OFF], 'regexp' => [ 5.008, DEFAULT_OFF], 'glob' => [ 5.008, DEFAULT_ON], 'untie' => [ 5.008, DEFAULT_OFF], 'substr' => [ 5.008, DEFAULT_OFF], 'taint' => [ 5.008, DEFAULT_OFF], 'signal' => [ 5.008, DEFAULT_OFF], 'closure' => [ 5.008, DEFAULT_OFF], 'overflow' => [ 5.008, DEFAULT_OFF], 'portable' => [ 5.008, DEFAULT_OFF], 'utf8' => [ 5.008, { 'surrogate' => [ 5.013, DEFAULT_OFF], 'nonchar' => [ 5.013, DEFAULT_OFF], 'non_unicode' => [ 5.013, DEFAULT_OFF], }], 'exiting' => [ 5.008, DEFAULT_OFF], 'pack' => [ 5.008, DEFAULT_OFF], 'unpack' => [ 5.008, DEFAULT_OFF], 'threads' => [ 5.008, DEFAULT_OFF], 'imprecision' => [ 5.011, DEFAULT_OFF], 'experimental' => [ 5.017, { 'experimental::lexical_subs' => [ 5.017, DEFAULT_ON ], 'experimental::regex_sets' => [ 5.017, DEFAULT_OFF ], 'experimental::smartmatch' => [ 5.017, DEFAULT_ON ], 'experimental::postderef' => [ 5.019, DEFAULT_ON ], 'experimental::signatures' => [ 5.019, DEFAULT_ON ], 'experimental::refaliasing' => [ 5.021, DEFAULT_ON ], 'experimental::re_strict' => [ 5.021, DEFAULT_ON ], 'experimental::const_attr' => [ 5.021, DEFAULT_ON ], 'experimental::bitwise' => [ 5.021, DEFAULT_ON ], 'experimental::declared_refs' => [ 5.025, DEFAULT_ON ], 'experimental::script_run' => [ 5.027, DEFAULT_ON ], 'experimental::alpha_assertions' => [ 5.027, DEFAULT_ON ], 'experimental::private_use' => [ 5.029, DEFAULT_ON ], 'experimental::uniprop_wildcards' => [ 5.029, DEFAULT_ON ], 'experimental::vlb' => [ 5.029, DEFAULT_ON ], 'experimental::isa' => [ 5.031, DEFAULT_ON ], 'experimental::try' => [ 5.033, DEFAULT_ON ], 'experimental::defer' => [ 5.035, DEFAULT_ON ], 'experimental::for_list' => [ 5.035, DEFAULT_ON ], 'experimental::builtin' => [ 5.035, DEFAULT_ON ], 'experimental::args_array_with_signatures' => [ 5.035, DEFAULT_ON], 'experimental::extra_paired_delimiters' => [ 5.035, DEFAULT_ON], 'experimental::class' => [ 5.037, DEFAULT_ON ], }], 'missing' => [ 5.021, DEFAULT_OFF], 'redundant' => [ 5.021, DEFAULT_OFF], 'locale' => [ 5.021, DEFAULT_ON], 'shadow' => [ 5.027, DEFAULT_OFF], 'scalar' => [ 5.035, DEFAULT_OFF], #'default' => [ 5.008, DEFAULT_ON ], }]}; my @DEFAULTS; # List of category numbers which are DEFAULT_ON # for each category name, list which category number(s) # it enables; e.g. my %CATEGORIES; # { 'name' => [ 1,2,5], ... } my %VALUE_TO_NAME; # (index_number => [ 'NAME', version ], ...); my %NAME_TO_VALUE; # ('NAME' => index_number, ....); # the experiments were successful (or abandonned), # so no warning bit is needed anymore my %NO_BIT_FOR = map { ( uc $_ => 1, $_ => 1 ) } qw( experimental::lexical_subs experimental::postderef experimental::signatures experimental::bitwise experimental::alpha_assertions experimental::script_run experimental::isa experimental::smartmatch ); ########################################################################### # Generate a hash with keys being the version number and values # being a list of node names with that version, e.g. # # { '5.008' => [ 'all', 'closure', .. ], 5.021' => .... } # # A ref to the (initially empty) hash is passed as an arg, which is # recursively populated sub valueWalk { my ($tree, $v_list) = @_; my ($k, $v) ; foreach $k (sort keys %$tree) { $v = $tree->{$k}; die "Value associated with key '$k' is not an ARRAY reference" if !ref $v || ref $v ne 'ARRAY' ; my ($ver, $rest, $rest2) = @{ $v } ; my $ref = ref $rest ? $rest : $rest2; push @{ $v_list->{$ver} }, $k; if (ref $ref) { valueWalk ($ref, $v_list) } } } # Assign an index number to each category, ordered by introduced-version. # Populate: # # %VALUE_TO_NAME = (index_number => [ 'NAME', version ], ...); # %NAME_TO_VALUE = ('NAME' => index_number, ....); # # Returns count of categories. sub orderValues { my ($tree) = @_; my %v_list; valueWalk($tree, \%v_list); my $index = 0; foreach my $ver ( sort { $a <=> $b } keys %v_list ) { foreach my $name (@{ $v_list{$ver} } ) { next if $NO_BIT_FOR{$name}; $VALUE_TO_NAME{ $index } = [ uc $name, $ver ] ; $NAME_TO_VALUE{ uc $name } = $index ++ ; } } return $index ; } ########################################################################### # Recurse the tree and populate # %CATEGORIES # %DEFAULTS sub walk { my $tree = shift ; my @list = () ; my ($k, $v) ; foreach $k (sort keys %$tree) { $v = $tree->{$k}; die "duplicate key $k\n" if defined $CATEGORIES{$k} ; next if $NO_BIT_FOR{$k}; die "Can't find key '$k'" if ! defined $NAME_TO_VALUE{uc $k} ; push @{ $CATEGORIES{$k} }, $NAME_TO_VALUE{uc $k} ; die "Value associated with key '$k' is not an ARRAY reference" if !ref $v || ref $v ne 'ARRAY' ; my ($ver, $rest, $rest2) = @{ $v } ; my $ref = ref $rest ? $rest : $rest2; if (!ref $rest and $rest == DEFAULT_ON) { push @DEFAULTS, $NAME_TO_VALUE{uc $k} } if (ref $ref) { push (@{ $CATEGORIES{$k} }, walk ($ref)) } push @list, @{ $CATEGORIES{$k} } ; } return @list ; } ########################################################################### # convert a list like (1,2,3,7,8) into a string like '1..3,7,8' sub mkRange { my @in = @_ ; my @out = @in ; for my $i (1 .. @in - 1) { $out[$i] = ".." if $in[$i] == $in[$i - 1] + 1 && ($i >= @in - 1 || $in[$i] + 1 == $in[$i + 1] ); } $out[-1] = $in[-1] if $out[-1] eq ".."; my $out = join(",",@out); $out =~ s/,(\.\.,)+/../g ; return $out; } ########################################################################### # return a string containing a visual representation of the warnings tree # structure. sub warningsTree { my $tree = shift ; my $prefix = shift ; my ($k, $v) ; my $max = (sort {$a <=> $b} map { length $_ } keys %$tree)[-1] ; my @keys = sort keys %$tree ; my $rv = ''; while ($k = shift @keys) { next if $NO_BIT_FOR{$k}; $v = $tree->{$k}; die "Value associated with key '$k' is not an ARRAY reference" if !ref $v || ref $v ne 'ARRAY' ; my $offset ; if ($tree ne $WARNING_TREE) { $rv .= $prefix . "|\n" ; $rv .= $prefix . "+- $k" ; $offset = ' ' x ($max + 4) ; } else { $rv .= $prefix . "$k" ; $offset = ' ' x ($max + 1) ; } my ($ver, $rest, $rest2) = @{ $v } ; my $ref = ref $rest ? $rest : $rest2; if (ref $ref) { my $bar = @keys ? "|" : " "; $rv .= " -" . "-" x ($max - length $k ) . "+\n" ; $rv .= warningsTree ($ref, $prefix . $bar . $offset ) } else { $rv .= "\n" } } return $rv; } ########################################################################### # common backend for mkHex() and mkOct() sub mkHexOct { my ($f, $max, @bits) = @_ ; my $mask = "\x00" x $max ; my $string = "" ; foreach (@bits) { vec($mask, $_, 1) = 1 ; } foreach (unpack("C*", $mask)) { if ($f eq 'x') { $string .= '\x' . sprintf("%2.2x", $_) } else { $string .= '\\' . sprintf("%o", $_) } } return $string ; } # Convert a list of bit offsets (0...) into a string containing $max bytes # of the form "\xMM\xNN...." sub mkHex { my($max, @bits) = @_; return mkHexOct("x", $max, @bits); } # Like mkHex(), but outputs "\o..." instead sub mkOct { my($max, @bits) = @_; return mkHexOct("o", $max, @bits); } ########################################################################### sub main { if (@ARGV && $ARGV[0] eq "tree") { print warningsTree($WARNING_TREE, " ") ; exit ; } my ($warn_h, $warn_pm) = map { open_new($_, '>', { by => 'regen/warnings.pl' }); } 'warnings.h', 'lib/warnings.pm'; my ($index, $warn_size); # generate warnings.h print $warn_h warnings_h_boilerplate_1(); $index = orderValues($WARNING_TREE); die <<~EOM if $index > 255 ; Too many warnings categories -- max is 255 rewrite packWARN* & unpackWARN* macros EOM walk ($WARNING_TREE) ; for (my $i = $index; $i & 3; $i++) { push @{$CATEGORIES{all}}, $i; } $index *= 2 ; $warn_size = int($index / 8) + ($index % 8 != 0) ; my $k ; my $last_ver = 0; my @names; foreach $k (sort { $a <=> $b } keys %VALUE_TO_NAME) { my ($name, $version) = @{ $VALUE_TO_NAME{$k} }; print $warn_h "\n/* Warnings Categories added in Perl $version */\n\n" if $last_ver != $version ; $name =~ y/:/_/; $name = "WARN_$name"; print $warn_h tab(6, "#define $name"), " $k\n" ; push @names, $name; $last_ver = $version ; } print $warn_h tab(6, '#define WARNsize'), " $warn_size\n" ; print $warn_h tab(6, '#define WARN_ALLstring'), ' "', ('\125' x $warn_size) , "\"\n" ; print $warn_h tab(6, '#define WARN_NONEstring'), ' "', ('\0' x $warn_size) , "\"\n" ; print $warn_h warnings_h_boilerplate_2(); print $warn_h "\n\n/*\n" ; print $warn_h map { "=for apidoc Amnh||$_\n" } @names; print $warn_h "\n=cut\n*/\n\n" ; print $warn_h "/* end of file warnings.h */\n"; read_only_bottom_close_and_rename($warn_h); # generate warnings.pm while () { last if /^VERSION$/ ; print $warn_pm $_ ; } print $warn_pm qq(our \$VERSION = "$::VERSION";\n); while () { last if /^KEYWORDS$/ ; print $warn_pm $_ ; } $last_ver = 0; print $warn_pm "our %Offsets = (" ; foreach my $k (sort { $a <=> $b } keys %VALUE_TO_NAME) { my ($name, $version) = @{ $VALUE_TO_NAME{$k} }; $name = lc $name; $k *= 2 ; if ( $last_ver != $version ) { print $warn_pm "\n"; print $warn_pm tab(6, " # Warnings Categories added in Perl $version"); print $warn_pm "\n"; } print $warn_pm tab(6, " '$name'"), "=> $k,\n" ; $last_ver = $version; } print $warn_pm ");\n\n" ; print $warn_pm "our %Bits = (\n" ; foreach my $k (sort keys %CATEGORIES) { my $v = $CATEGORIES{$k} ; my @list = sort { $a <=> $b } @$v ; print $warn_pm tab(6, " '$k'"), '=> "', mkHex($warn_size, map $_ * 2 , @list), '", # [', mkRange(@list), "]\n" ; } print $warn_pm ");\n\n" ; print $warn_pm "our %DeadBits = (\n" ; foreach my $k (sort keys %CATEGORIES) { my $v = $CATEGORIES{$k} ; my @list = sort { $a <=> $b } @$v ; print $warn_pm tab(6, " '$k'"), '=> "', mkHex($warn_size, map $_ * 2 + 1 , @list), '", # [', mkRange(@list), "]\n" ; } print $warn_pm ");\n\n" ; print $warn_pm "our %NoOp = (\n" ; foreach my $k ( grep /\A[a-z:_]+\z/, sort keys %NO_BIT_FOR ) { print $warn_pm tab(6, " '$k'"), "=> 1,\n"; } print $warn_pm ");\n\n" ; print $warn_pm "# These are used by various things, including our own tests\n"; print $warn_pm tab(6, 'our $NONE'), '= "', ('\0' x $warn_size) , "\";\n" ; print $warn_pm tab(6, 'our $DEFAULT'), '= "', mkHex($warn_size, map $_ * 2, @DEFAULTS), '"; # [', mkRange(sort { $a <=> $b } @DEFAULTS), "]\n" ; print $warn_pm tab(6, 'our $LAST_BIT'), '= ' . "$index ;\n" ; print $warn_pm tab(6, 'our $BYTES'), '= ' . "$warn_size ;\n" ; while () { if ($_ eq "=for warnings.pl tree-goes-here\n") { print $warn_pm warningsTree($WARNING_TREE, " "); next; } print $warn_pm $_ ; } read_only_bottom_close_and_rename($warn_pm); exit(0); } main() unless caller(); # ----------------------------------------------------------------- sub warnings_h_boilerplate_1 { return <<'EOM'; } #define Perl_Warn_Off_(x) ((x) / 8) #define Perl_Warn_Bit_(x) (1 << ((x) % 8)) #define PerlWarnIsSet_(a, x) ((a)[Perl_Warn_Off_(x)] & Perl_Warn_Bit_(x)) #define G_WARN_OFF 0 /* $^W == 0 */ #define G_WARN_ON 1 /* -w flag and $^W != 0 */ #define G_WARN_ALL_ON 2 /* -W flag */ #define G_WARN_ALL_OFF 4 /* -X flag */ #define G_WARN_ONCE 8 /* set if 'once' ever enabled */ #define G_WARN_ALL_MASK (G_WARN_ALL_ON|G_WARN_ALL_OFF) #define pWARN_STD NULL #define pWARN_ALL &PL_WARN_ALL /* use warnings 'all' */ #define pWARN_NONE &PL_WARN_NONE /* no warnings 'all' */ #define specialWARN(x) ((x) == pWARN_STD || (x) == pWARN_ALL || \ (x) == pWARN_NONE) /* if PL_warnhook is set to this value, then warnings die */ #define PERL_WARNHOOK_FATAL (&PL_sv_placeholder) EOM # ----------------------------------------------------------------- sub warnings_h_boilerplate_2 { return <<'EOM'; } #define isLEXWARN_on \ cBOOL(PL_curcop && PL_curcop->cop_warnings != pWARN_STD) #define isLEXWARN_off \ cBOOL(!PL_curcop || PL_curcop->cop_warnings == pWARN_STD) #define isWARN_ONCE (PL_dowarn & (G_WARN_ON|G_WARN_ONCE)) #define hasWARNBIT(c,x) (RCPV_LEN(c) > (2*(x)/8)) #define isWARN_on(c,x) (hasWARNBIT(c,x) \ ? PerlWarnIsSet_((U8 *)(c), 2*(x)) \ : 0) #define isWARNf_on(c,x) (hasWARNBIT(c,x) \ ? PerlWarnIsSet_((U8 *)(c), 2*(x)+1) \ : 0) #define DUP_WARNINGS(p) Perl_dup_warnings(aTHX_ p) #define free_and_set_cop_warnings(cmp,w) STMT_START { \ if (!specialWARN((cmp)->cop_warnings)) rcpv_free((cmp)->cop_warnings); \ (cmp)->cop_warnings = w; \ } STMT_END /* =head1 Warning and Dieing In all these calls, the C> parameters are warning category constants. You can see the ones currently available in L, just capitalize all letters in the names and prefix them by C. So, for example, the category C used in a perl program becomes C when used in XS code and passed to one of the calls below. =for apidoc Am|bool|ckWARN|U32 w =for apidoc_item ||ckWARN2|U32 w1|U32 w2 =for apidoc_item ||ckWARN3|U32 w1|U32 w2|U32 w3 =for apidoc_item ||ckWARN4|U32 w1|U32 w2|U32 w3|U32 w4 These return a boolean as to whether or not warnings are enabled for any of the warning category(ies) parameters: C, C, .... Should any of the categories by default be enabled even if not within the scope of S>, instead use the C> macros. The categories must be completely independent, one may not be subclassed from the other. =for apidoc Am|bool|ckWARN_d|U32 w =for apidoc_item ||ckWARN2_d|U32 w1|U32 w2 =for apidoc_item ||ckWARN3_d|U32 w1|U32 w2|U32 w3 =for apidoc_item ||ckWARN4_d|U32 w1|U32 w2|U32 w3|U32 w4 Like C>, but for use if and only if the warning category(ies) is by default enabled even if not within the scope of S>. =for apidoc Am|U32|packWARN|U32 w1 =for apidoc_item ||packWARN2|U32 w1|U32 w2 =for apidoc_item ||packWARN3|U32 w1|U32 w2|U32 w3 =for apidoc_item ||packWARN4|U32 w1|U32 w2|U32 w3|U32 w4 These macros are used to pack warning categories into a single U32 to pass to macros and functions that take a warning category parameter. The number of categories to pack is given by the name, with a corresponding number of category parameters passed. =cut */ #define ckWARN(w) Perl_ckwarn(aTHX_ packWARN(w)) /* The w1, w2 ... should be independent warnings categories; one shouldn't be * a subcategory of any other */ #define ckWARN2(w1,w2) Perl_ckwarn(aTHX_ packWARN2(w1,w2)) #define ckWARN3(w1,w2,w3) Perl_ckwarn(aTHX_ packWARN3(w1,w2,w3)) #define ckWARN4(w1,w2,w3,w4) Perl_ckwarn(aTHX_ packWARN4(w1,w2,w3,w4)) #define ckWARN_d(w) Perl_ckwarn_d(aTHX_ packWARN(w)) #define ckWARN2_d(w1,w2) Perl_ckwarn_d(aTHX_ packWARN2(w1,w2)) #define ckWARN3_d(w1,w2,w3) Perl_ckwarn_d(aTHX_ packWARN3(w1,w2,w3)) #define ckWARN4_d(w1,w2,w3,w4) Perl_ckwarn_d(aTHX_ packWARN4(w1,w2,w3,w4)) #define WARNshift 8 #define packWARN(a) (a ) /* The a, b, ... should be independent warnings categories; one shouldn't be * a subcategory of any other */ #define packWARN2(a,b) ((a) | ((b)<<8) ) #define packWARN3(a,b,c) ((a) | ((b)<<8) | ((c)<<16) ) #define packWARN4(a,b,c,d) ((a) | ((b)<<8) | ((c)<<16) | ((d) <<24)) #define unpackWARN1(x) ((U8) (x) ) #define unpackWARN2(x) ((U8) ((x) >> 8)) #define unpackWARN3(x) ((U8) ((x) >> 16)) #define unpackWARN4(x) ((U8) ((x) >> 24)) #define ckDEAD(x) \ (PL_curcop && \ !specialWARN(PL_curcop->cop_warnings) && \ (isWARNf_on(PL_curcop->cop_warnings, unpackWARN1(x)) || \ (unpackWARN2(x) && \ (isWARNf_on(PL_curcop->cop_warnings, unpackWARN2(x)) || \ (unpackWARN3(x) && \ (isWARNf_on(PL_curcop->cop_warnings, unpackWARN3(x)) || \ (unpackWARN4(x) && \ isWARNf_on(PL_curcop->cop_warnings, unpackWARN4(x))))))))) EOM # ----------------------------------------------------------------- __END__ package warnings; VERSION # Verify that we're called correctly so that warnings will work. # Can't use Carp, since Carp uses us! # String regexps because constant folding = smaller optree = less memory vs regexp literal # see also strict.pm. die sprintf "Incorrect use of pragma '%s' at %s line %d.\n", __PACKAGE__, +(caller)[1,2] if __FILE__ !~ ( '(?x) \b '.__PACKAGE__.' \.pmc? \z' ) && __FILE__ =~ ( '(?x) \b (?i:'.__PACKAGE__.') \.pmc? \z' ); KEYWORDS sub Croaker { require Carp; # this initializes %CarpInternal local $Carp::CarpInternal{'warnings'}; delete $Carp::CarpInternal{'warnings'}; Carp::croak(@_); } sub _expand_bits { my $bits = shift; my $want_len = ($LAST_BIT + 7) >> 3; my $len = length($bits); if ($len != $want_len) { if ($bits eq "") { $bits = "\x00" x $want_len; } elsif ($len > $want_len) { substr $bits, $want_len, $len-$want_len, ""; } else { my $x = vec($bits, $Offsets{all} >> 1, 2); $x |= $x << 2; $x |= $x << 4; $bits .= chr($x) x ($want_len - $len); } } return $bits; } sub _bits { my $mask = shift ; my $catmask ; my $fatal = 0 ; my $no_fatal = 0 ; $mask = _expand_bits($mask); foreach my $word ( @_ ) { next if $NoOp{$word}; if ($word eq 'FATAL') { $fatal = 1; $no_fatal = 0; } elsif ($word eq 'NONFATAL') { $fatal = 0; $no_fatal = 1; } elsif ($catmask = $Bits{$word}) { $mask |= $catmask ; $mask |= $DeadBits{$word} if $fatal ; $mask = ~(~$mask | $DeadBits{$word}) if $no_fatal ; } else { Croaker("Unknown warnings category '$word'")} } return $mask ; } sub bits { # called from B::Deparse.pm push @_, 'all' unless @_ ; return _bits("", @_) ; } sub import { my $invocant = shift; # append 'all' when implied (empty import list or after a lone # "FATAL" or "NONFATAL") push @_, 'all' if !@_ || (@_==1 && ($_[0] eq 'FATAL' || $_[0] eq 'NONFATAL')); my @fatal = (); foreach my $warning (@_) { if($warning =~ /^(NON)?FATAL$/) { @fatal = ($warning); } elsif(substr($warning, 0, 1) ne '-') { my $mask = ${^WARNING_BITS} // ($^W ? $Bits{all} : $DEFAULT) ; ${^WARNING_BITS} = _bits($mask, @fatal, $warning); } else { $invocant->unimport(substr($warning, 1)); } } } sub unimport { shift; my $catmask ; my $mask = ${^WARNING_BITS} // ($^W ? $Bits{all} : $DEFAULT) ; # append 'all' when implied (empty import list or after a lone "FATAL") push @_, 'all' if !@_ || @_==1 && $_[0] eq 'FATAL'; $mask = _expand_bits($mask); foreach my $word ( @_ ) { next if $NoOp{$word}; if ($word eq 'FATAL') { next; } elsif ($catmask = $Bits{$word}) { $mask = ~(~$mask | $catmask | $DeadBits{$word}); } else { Croaker("Unknown warnings category '$word'")} } ${^WARNING_BITS} = $mask ; } my %builtin_type; @builtin_type{qw(SCALAR ARRAY HASH CODE REF GLOB LVALUE Regexp)} = (); sub LEVEL () { 8 }; sub MESSAGE () { 4 }; sub FATAL () { 2 }; sub NORMAL () { 1 }; sub __chk { my $category ; my $offset ; my $isobj = 0 ; my $wanted = shift; my $has_message = $wanted & MESSAGE; my $has_level = $wanted & LEVEL ; if ($has_level) { if (@_ != ($has_message ? 3 : 2)) { my $sub = (caller 1)[3]; my $syntax = $has_message ? "category, level, 'message'" : 'category, level'; Croaker("Usage: $sub($syntax)"); } } elsif (not @_ == 1 || @_ == ($has_message ? 2 : 0)) { my $sub = (caller 1)[3]; my $syntax = $has_message ? "[category,] 'message'" : '[category]'; Croaker("Usage: $sub($syntax)"); } my $message = pop if $has_message; if (@_) { # check the category supplied. $category = shift ; if (my $type = ref $category) { Croaker("not an object") if exists $builtin_type{$type}; $category = $type; $isobj = 1 ; } $offset = $Offsets{$category}; Croaker("Unknown warnings category '$category'") unless defined $offset; } else { $category = caller(1); $offset = $Offsets{$category}; Croaker("package '$category' not registered for warnings") unless defined $offset ; } my $i; if ($isobj) { my $pkg; $i = 2; while (do { { package DB; $pkg = (caller($i++))[0] } } ) { last unless @DB::args && $DB::args[0] =~ /^$category=/ ; } $i -= 2 ; } elsif ($has_level) { $i = 2 + shift; } else { $i = _error_loc(); # see where Carp will allocate the error } # Default to 0 if caller returns nothing. Default to $DEFAULT if it # explicitly returns undef. my(@callers_bitmask) = (caller($i))[9] ; my $callers_bitmask = @callers_bitmask ? $callers_bitmask[0] // $DEFAULT : 0 ; length($callers_bitmask) > ($offset >> 3) or $offset = $Offsets{all}; my @results; foreach my $type (FATAL, NORMAL) { next unless $wanted & $type; push @results, vec($callers_bitmask, $offset + $type - 1, 1); } # &enabled and &fatal_enabled return $results[0] unless $has_message; # &warnif, and the category is neither enabled as warning nor as fatal return if ($wanted & (NORMAL | FATAL | MESSAGE)) == (NORMAL | FATAL | MESSAGE) && !($results[0] || $results[1]); # If we have an explicit level, bypass Carp. if ($has_level and @callers_bitmask) { # logic copied from util.c:mess_sv my $stuff = " at " . join " line ", (caller $i)[1,2]; $stuff .= sprintf ", <%s> %s %d", *${^LAST_FH}{NAME}, ($/ eq "\n" ? "line" : "chunk"), $. if $. && ${^LAST_FH}; die "$message$stuff.\n" if $results[0]; return warn "$message$stuff.\n"; } require Carp; Carp::croak($message) if $results[0]; # will always get here for &warn. will only get here for &warnif if the # category is enabled Carp::carp($message); } sub _mkMask { my ($bit) = @_; my $mask = ""; vec($mask, $bit, 1) = 1; return $mask; } sub register_categories { my @names = @_; for my $name (@names) { if (! defined $Bits{$name}) { $Offsets{$name} = $LAST_BIT; $Bits{$name} = _mkMask($LAST_BIT++); $DeadBits{$name} = _mkMask($LAST_BIT++); if (length($Bits{$name}) > length($Bits{all})) { $Bits{all} .= "\x55"; $DeadBits{all} .= "\xaa"; } } } } sub _error_loc { require Carp; goto &Carp::short_error_loc; # don't introduce another stack frame } sub enabled { return __chk(NORMAL, @_); } sub fatal_enabled { return __chk(FATAL, @_); } sub warn { return __chk(FATAL | MESSAGE, @_); } sub warnif { return __chk(NORMAL | FATAL | MESSAGE, @_); } sub enabled_at_level { return __chk(NORMAL | LEVEL, @_); } sub fatal_enabled_at_level { return __chk(FATAL | LEVEL, @_); } sub warn_at_level { return __chk(FATAL | MESSAGE | LEVEL, @_); } sub warnif_at_level { return __chk(NORMAL | FATAL | MESSAGE | LEVEL, @_); } # These are not part of any public interface, so we can delete them to save # space. delete @warnings::{qw(NORMAL FATAL MESSAGE LEVEL)}; 1; __END__ =head1 NAME warnings - Perl pragma to control optional warnings =head1 SYNOPSIS use warnings; no warnings; # Standard warnings are enabled by use v5.35 or above use v5.35; use warnings "all"; no warnings "uninitialized"; # or equivalent to those last two ... use warnings qw(all -uninitialized); use warnings::register; if (warnings::enabled()) { warnings::warn("some warning"); } if (warnings::enabled("void")) { warnings::warn("void", "some warning"); } if (warnings::enabled($object)) { warnings::warn($object, "some warning"); } warnings::warnif("some warning"); warnings::warnif("void", "some warning"); warnings::warnif($object, "some warning"); =head1 DESCRIPTION The C pragma gives control over which warnings are enabled in which parts of a Perl program. It's a more flexible alternative for both the command line flag B<-w> and the equivalent Perl variable, C<$^W>. This pragma works just like the C pragma. This means that the scope of the warning pragma is limited to the enclosing block. It also means that the pragma setting will not leak across files (via C, C or C). This allows authors to independently define the degree of warning checks that will be applied to their module. By default, optional warnings are disabled, so any legacy code that doesn't attempt to control the warnings will work unchanged. All warnings are enabled in a block by either of these: use warnings; use warnings 'all'; Similarly all warnings are disabled in a block by either of these: no warnings; no warnings 'all'; For example, consider the code below: use warnings; my @x; { no warnings; my $y = @x[0]; } my $z = @x[0]; The code in the enclosing block has warnings enabled, but the inner block has them disabled. In this case that means the assignment to the scalar C<$z> will trip the C<"Scalar value @x[0] better written as $x[0]"> warning, but the assignment to the scalar C<$y> will not. All warnings are enabled automatically within the scope of a C> (or higher) declaration. =head2 Default Warnings and Optional Warnings Before the introduction of lexical warnings, Perl had two classes of warnings: mandatory and optional. As its name suggests, if your code tripped a mandatory warning, you would get a warning whether you wanted it or not. For example, the code below would always produce an C<"isn't numeric"> warning about the "2:". my $x = "2:" + 3; With the introduction of lexical warnings, mandatory warnings now become I warnings. The difference is that although the previously mandatory warnings are still enabled by default, they can then be subsequently enabled or disabled with the lexical warning pragma. For example, in the code below, an C<"isn't numeric"> warning will only be reported for the C<$x> variable. my $x = "2:" + 3; no warnings; my $y = "2:" + 3; Note that neither the B<-w> flag or the C<$^W> can be used to disable/enable default warnings. They are still mandatory in this case. =head2 "Negative warnings" As a convenience, you can (as of Perl 5.34) pass arguments to the C method both positively and negatively. Negative warnings are those with a C<-> sign prepended to their names; positive warnings are anything else. This lets you turn on some warnings and turn off others in one command. So, assuming that you've already turned on a bunch of warnings but want to tweak them a bit in some block, you can do this: { use warnings qw(uninitialized -redefine); ... } which is equivalent to: { use warnings qw(uninitialized); no warnings qw(redefine); ... } The argument list is processed in the order you specify. So, for example, if you don't want to be warned about use of experimental features, except for C that you really dislike, you can say this: use warnings qw(all -experimental experimental::somefeature); which is equivalent to: use warnings 'all'; no warnings 'experimental'; use warnings 'experimental::somefeature'; As experimental features become regular features of Perl, the corresponding warnings are not printed anymore. They also stop being listed in the L below. It is still possible to request turning on or off these warnings, but doing so has no effect. =head2 What's wrong with B<-w> and C<$^W> Although very useful, the big problem with using B<-w> on the command line to enable warnings is that it is all or nothing. Take the typical scenario when you are writing a Perl program. Parts of the code you will write yourself, but it's very likely that you will make use of pre-written Perl modules. If you use the B<-w> flag in this case, you end up enabling warnings in pieces of code that you haven't written. Similarly, using C<$^W> to either disable or enable blocks of code is fundamentally flawed. For a start, say you want to disable warnings in a block of code. You might expect this to be enough to do the trick: { local ($^W) = 0; my $x =+ 2; my $y; chop $y; } When this code is run with the B<-w> flag, a warning will be produced for the C<$x> line: C<"Reversed += operator">. The problem is that Perl has both compile-time and run-time warnings. To disable compile-time warnings you need to rewrite the code like this: { BEGIN { $^W = 0 } my $x =+ 2; my $y; chop $y; } And note that unlike the first example, this will permanently set C<$^W> since it cannot both run during compile-time and be localized to a run-time block. The other big problem with C<$^W> is the way you can inadvertently change the warning setting in unexpected places in your code. For example, when the code below is run (without the B<-w> flag), the second call to C will trip a C<"Use of uninitialized value"> warning, whereas the first will not. sub doit { my $y; chop $y; } doit(); { local ($^W) = 1; doit() } This is a side-effect of C<$^W> being dynamically scoped. Lexical warnings get around these limitations by allowing finer control over where warnings can or can't be tripped. =head2 Controlling Warnings from the Command Line There are three Command Line flags that can be used to control when warnings are (or aren't) produced: =over 5 =item B<-w> X<-w> This is the existing flag. If the lexical warnings pragma is B used in any of your code, or any of the modules that you use, this flag will enable warnings everywhere. See L for details of how this flag interacts with lexical warnings. =item B<-W> X<-W> If the B<-W> flag is used on the command line, it will enable all warnings throughout the program regardless of whether warnings were disabled locally using C or C<$^W =0>. This includes all files that get included via C, C or C. Think of it as the Perl equivalent of the "lint" command. =item B<-X> X<-X> Does the exact opposite to the B<-W> flag, i.e. it disables all warnings. =back =head2 Backward Compatibility If you are used to working with a version of Perl prior to the introduction of lexically scoped warnings, or have code that uses both lexical warnings and C<$^W>, this section will describe how they interact. How Lexical Warnings interact with B<-w>/C<$^W>: =over 5 =item 1. If none of the three command line flags (B<-w>, B<-W> or B<-X>) that control warnings is used and neither C<$^W> nor the C pragma are used, then default warnings will be enabled and optional warnings disabled. This means that legacy code that doesn't attempt to control the warnings will work unchanged. =item 2. The B<-w> flag just sets the global C<$^W> variable as in 5.005. This means that any legacy code that currently relies on manipulating C<$^W> to control warning behavior will still work as is. =item 3. Apart from now being a boolean, the C<$^W> variable operates in exactly the same horrible uncontrolled global way, except that it cannot disable/enable default warnings. =item 4. If a piece of code is under the control of the C pragma, both the C<$^W> variable and the B<-w> flag will be ignored for the scope of the lexical warning. =item 5. The only way to override a lexical warnings setting is with the B<-W> or B<-X> command line flags. =back The combined effect of 3 & 4 is that it will allow code which uses the C pragma to control the warning behavior of $^W-type code (using a C) if it really wants to, but not vice-versa. =head2 Category Hierarchy X A hierarchy of "categories" have been defined to allow groups of warnings to be enabled/disabled in isolation. The current hierarchy is: =for warnings.pl tree-goes-here Just like the "strict" pragma any of these categories can be combined use warnings qw(void redefine); no warnings qw(io syntax untie); Also like the "strict" pragma, if there is more than one instance of the C pragma in a given scope the cumulative effect is additive. use warnings qw(void); # only "void" warnings enabled ... use warnings qw(io); # only "void" & "io" warnings enabled ... no warnings qw(void); # only "io" warnings enabled To determine which category a specific warning has been assigned to see L. Note: Before Perl 5.8.0, the lexical warnings category "deprecated" was a sub-category of the "syntax" category. It is now a top-level category in its own right. Note: Before 5.21.0, the "missing" lexical warnings category was internally defined to be the same as the "uninitialized" category. It is now a top-level category in its own right. =head2 Fatal Warnings X The presence of the word "FATAL" in the category list will escalate warnings in those categories into fatal errors in that lexical scope. B FATAL warnings should be used with care, particularly C<< FATAL => 'all' >>. Libraries using L for custom warning categories generally don't expect L to be fatal and can wind up in an unexpected state as a result. For XS modules issuing categorized warnings, such unanticipated exceptions could also expose memory leak bugs. Moreover, the Perl interpreter itself has had serious bugs involving fatalized warnings. For a summary of resolved and unresolved problems as of January 2015, please see L. While some developers find fatalizing some warnings to be a useful defensive programming technique, using C<< FATAL => 'all' >> to fatalize all possible warning categories -- including custom ones -- is particularly risky. Therefore, the use of C<< FATAL => 'all' >> is L. The L module on CPAN offers one example of a warnings subset that the module's authors believe is relatively safe to fatalize. B Users of FATAL warnings, especially those using C<< FATAL => 'all' >>, should be fully aware that they are risking future portability of their programs by doing so. Perl makes absolutely no commitments to not introduce new warnings or warnings categories in the future; indeed, we explicitly reserve the right to do so. Code that may not warn now may warn in a future release of Perl if the Perl5 development team deems it in the best interests of the community to do so. Should code using FATAL warnings break due to the introduction of a new warning we will NOT consider it an incompatible change. Users of FATAL warnings should take special caution during upgrades to check to see if their code triggers any new warnings and should pay particular attention to the fine print of the documentation of the features they use to ensure they do not exploit features that are documented as risky, deprecated, or unspecified, or where the documentation says "so don't do that", or anything with the same sense and spirit. Use of such features in combination with FATAL warnings is ENTIRELY AT THE USER'S RISK. The following documentation describes how to use FATAL warnings but the perl5 porters strongly recommend that you understand the risks before doing so, especially for library code intended for use by others, as there is no way for downstream users to change the choice of fatal categories. In the code below, the use of C