#! /bin/sh
# $NetBSD: t_misc.sh,v 1.29 2023/12/17 10:02:09 rillig Exp $
#
# Copyright (c) 2021 The NetBSD Foundation, Inc.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in the
#    documentation and/or other materials provided with the distribution.
#
# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
# PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.

# Tests for indent that do not follow the input-profile-output scheme that is
# used in t_options.

indent=$(atf_config_get usr.bin.indent.test_indent /usr/bin/indent)

atf_test_case 'in_place'
in_place_body()
{
       cat <<-\EOF > code.c
               int decl;
       EOF
       cat <<-\EOF > code.c.exp
               int             decl;
       EOF
       cp code.c code.c.orig

       atf_check \
           env SIMPLE_BACKUP_SUFFIX=".bak" "$indent" code.c
       atf_check -o 'file:code.c.exp' \
           cat code.c
       atf_check -o 'file:code.c.orig' \
           cat code.c.bak
}

atf_test_case 'in_place_parse_error'
in_place_parse_error_body()
{
       # On normal parse errors, indent continues until the end of the file.
       # This means that even in the case of errors, not much is lost.

       cat <<-\EOF > code.c
               int line1;
               }
               int line3;
       EOF

       atf_check -s 'exit:1' -e 'ignore' \
          "$indent" code.c
       atf_check -o 'inline:int\t\tline1;\n}\nint\t\tline3;\n' \
           cat code.c
}

atf_test_case 'verbose_profile'
verbose_profile_body()
{
       cat <<-\EOF > .indent.pro
               -/* comment */bacc
               -v
               -fc1
       EOF
       cat <<-\EOF > before.c
               int decl;
       EOF
       cat <<-\EOF > after.c.exp
               int             decl;
       EOF
       cat <<-\EOF > stderr.exp
               profile: -fc1
               profile: -bacc
               profile: -v
               profile: -fc1
       EOF

       # The code in args.c function load_profile suggests that options from
       # profile files are echoed to stderr during startup. But since the
       # command line options are handled after the profile files, a '-v' in
       # the command line has no effect. That's why '-bacc' is not listed
       # on stderr, but '-fc1' is. The second round of '-bacc', '-v', '-fc1'
       # is listed because when running the test via ATF, $HOME equals $PWD.

       atf_check \
           -e 'file:stderr.exp' \
           "$indent" -v before.c after.c
       atf_check \
            -o 'file:after.c.exp' \
            cat after.c
}

atf_test_case 'nested_struct_declarations'
nested_struct_declarations_body()
{
       # Trigger the warning about nested struct declarations.

       cat <<-\EOF > code.c
               struct s01 { struct s02 { struct s03 { struct s04 {
               struct s05 { struct s06 { struct s07 { struct s08 {
               struct s09 { struct s10 { struct s11 { struct s12 {
               struct s13 { struct s14 { struct s15 { struct s16 {
               struct s17 { struct s18 { struct s19 { struct s20 {
               struct s21 { struct s22 { struct s23 { struct s24 {
               };};};};
               };};};};
               };};};};
               };};};};
               };};};};
               };};};};
       EOF
       cat <<-\EOF > expected.out
               struct s01 {
                struct s02 {
                 struct s03 {
                  struct s04 {
                   struct s05 {
                    struct s06 {
                     struct s07 {
                      struct s08 {
                       struct s09 {
                        struct s10 {
                         struct s11 {
                          struct s12 {
                           struct s13 {
                            struct s14 {
                             struct s15 {
                              struct s16 {
                               struct s17 {
                                struct s18 {
                                 struct s19 {
                                  struct s20 {
                                   struct s21 {
                                    struct s22 {
                                     struct s23 {
                                      struct s24 {
                                      };
                                     };
                                    };
                                   };
                                  };
                                 };
                                };
                               };
                              };
                             };
                            };
                           };
                          };
                         };
                        };
                       };
                      };
                     };
                    };
                   };
                  };
                 };
                };
               };
       EOF
       cat <<-\EOF > expected.err
               warning: Standard Input:5: Reached internal limit of 20 struct levels
               warning: Standard Input:6: Reached internal limit of 20 struct levels
               warning: Standard Input:6: Reached internal limit of 20 struct levels
               warning: Standard Input:6: Reached internal limit of 20 struct levels
               warning: Standard Input:6: Reached internal limit of 20 struct levels
       EOF

       atf_check -o 'file:expected.out' -e 'file:expected.err' \
           "$indent" -i1 -nut < 'code.c'
}

atf_test_case 'option_P_in_profile_file'
option_P_in_profile_file_body()
{
       # Mentioning another profile via -P has no effect since only a single
       # profile can be specified on the command line, and there is no
       # 'include' option.

       # It's syntactically possible to specify a profile file inside another
       # profile file.  Such a profile file is ignored since only a single
       # profile file is ever loaded.
       printf '%s\n' '-P/nonexistent' > .indent.pro

       echo 'syntax # error' > code.c

       atf_check -o 'inline:syntax\n# error\n' \
           "$indent" < code.c
}

atf_test_case 'option_without_hyphen'
option_without_hyphen_body()
{
       # Ensure that options in profile files start with '-', just like
       # command line options.

       printf ' -i3 xi5 +di0\n' > .indent.pro

       printf '%s\n' 'int var[] = {' '1,' '}' > code.c

       atf_check \
           -s 'exit:1' \
           -e "match:/.indent.pro: option \"xi5\" must start with '-'" \
           "$indent" < code.c
}

atf_test_case 'opt'
opt_body()
{
       # Test parsing of command line options from a profile file.

       cat <<-\EOF > code.c
               int global_var;

               int function(int expr) {
               switch (expr) { case 1: return 1; default: return 0; }
               }
       EOF

       cat << \EOF > .indent.pro
/* The latter of the two options wins. */
-di5
-di12

/*
* It is possible to embed comments in the middle of an option, but nobody
* does that.
*/
-/* comment */bacc
-T/* define
a type */custom_type

/* For int options, trailing garbage would be an error. */
-i3

/* For float options, trailing garbage would be an error. */
-cli3.5

-b/*/acc        /* The comment is '/' '*' '/', making the option '-bacc'. */
EOF

       sed '/[$]/d' << \EOF > code.exp
/* $ The variable name is indented by 12 characters due to -di12. */
int         global_var;

int
function(int expr)
{
  switch (expr) {
/* $ The indentation is 3 + (int)(3.5 * 3), so 3 + 10.5, so 13. */
/* $ See parse.c, function parse, 'case switch_expr'. */
            case 1:
/* $ The indentation is 3 + (int)3.5 * 3 + 3, so 3 + 9 + 3, so 15. */
/* $ See parse.c, function parse, 'case switch_expr'. */
              return 1;
            default:
              return 0;
  }
}
EOF

       atf_check -o 'file:code.exp' \
           "$indent" code.c -st
}

atf_test_case 'opt_npro'
opt_npro_body()
{
       # Mentioning the option -npro in a .pro file has no effect since at
       # that point, indent has already decided to load the .pro file, and
       # it only decides once.

       echo ' -npro -di8' > .indent.pro
       echo 'int var;' > code.c
       printf 'int\tvar;\n' > code.exp

       atf_check -o 'file:code.exp' \
           "$indent" code.c -st
}

atf_test_case 'opt_U'
opt_U_body()
{
       # From each line of this file, the first word is taken to be a type
       # name.
       #
       # Since neither '/*' nor '' are syntactically valid type names, this
       # means that all kinds of comments are effectively ignored.  When a
       # type name is indented by whitespace, it is ignored as well.
       #
       # Since only the first word of each line is relevant, any remaining
       # words can be used for comments.
       cat <<-\EOF > code.types
               /* Comments are effectively ignored since they never match. */
               # This comment is ignored as well.
               ; So is this comment.
               # The following line is empty and adds a type whose name is empty.

               size_t                  from stddef.h
               off_t                   for file offsets
                ignored_t              is ignored since it is indented
       EOF

       cat <<-\EOF > code.c
               int known_1 = (size_t)   *   arg;
               int known_2 = (off_t)   *   arg;
               int ignored = (ignored_t)   *   arg;
       EOF
       cat <<-\EOF > code.exp
               int known_1 = (size_t)*arg;
               int known_2 = (off_t)*arg;
               int ignored = (ignored_t) * arg;
       EOF

       atf_check -o 'file:code.exp' \
           "$indent" -Ucode.types code.c -di0 -st
}

atf_test_case 'line_no_counting'
line_no_counting_body()
{
       # Before NetBSD indent.c 1.147 from 2021-10-24, indent reported the
       # warning in line 2 instead of the correct line 3.

       cat <<-\EOF > code.c
               void line_no_counting(void)
               {
                       ())
               }
       EOF

       cat <<-\EOF > code.err
               warning: code.c:3: Extra ')'
       EOF

       atf_check -o 'ignore' -e 'file:code.err' \
           "$indent" code.c -st
}

atf_test_case 'default_backup_extension'
default_backup_extension_body()
{
       echo 'int var;' > code.c
       echo 'int var;' > code.c.orig

       atf_check \
           "$indent" code.c
       atf_check -o 'file:code.c.orig' \
           cat code.c.BAK
}

atf_test_case 'several_profiles'
several_profiles_body()
{
       # If the option '-P' occurs several times, only the last of the
       # profiles is loaded, the others are ignored.

       echo ' --invalid-option' > error.pro
       echo '' > last.pro
       echo '' > code.c

       atf_check \
           "$indent" -Pnonexistent.pro -Perror.pro -Plast.pro code.c -st
}


atf_test_case 'command_line_vs_profile'
command_line_vs_profile_body()
{
       # Options from the command line override those from a profile file,
       # no matter if they appear earlier or later than the '-P' in the
       # command line.

       echo ' -di24' > custom.pro
       printf 'int\t\tdecl;\n' > code.c

       atf_check -o 'inline:int decl;\n' \
           "$indent" -di0 -Pcustom.pro code.c -st
       atf_check -o 'inline:int decl;\n' \
           "$indent" -Pcustom.pro -di0 code.c -st
       atf_check -o 'inline:int decl;\n' \
           "$indent" -Pcustom.pro code.c -st -di0
}


atf_test_case 'opt_v_break_line'
opt_v_break_line_body()
{
       printf '%s\n' 'int *function(void)' '{}' > code.c

       atf_check -o 'ignore' \
           "$indent" -v code.c -st
}


atf_test_case 'trailing_whitespace_in_preprocessing_line'
trailing_whitespace_in_preprocessing_line_body()
{
       printf '#if trailing && space \n#endif\n' > code.c

       atf_check -o 'inline:#if trailing && space\n#endif\n' \
           "$indent" code.c -st
}

atf_init_test_cases()
{
       atf_add_test_case 'in_place'
       atf_add_test_case 'verbose_profile'
       atf_add_test_case 'nested_struct_declarations'
       atf_add_test_case 'option_P_in_profile_file'
       atf_add_test_case 'option_without_hyphen'
       atf_add_test_case 'opt'
       atf_add_test_case 'opt_npro'
       atf_add_test_case 'opt_U'
       atf_add_test_case 'opt_v_break_line'
       atf_add_test_case 'line_no_counting'
       atf_add_test_case 'default_backup_extension'
       atf_add_test_case 'several_profiles'
       atf_add_test_case 'command_line_vs_profile'
       atf_add_test_case 'in_place_parse_error'
       atf_add_test_case 'trailing_whitespace_in_preprocessing_line'
}

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.