#! /bin/sh
# Test for displaying DW_AT_const_types with the "correct" sign.
# Copyright (C) 2018 Red Hat, Inc.
# This file is part of elfutils.
#
# This file is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# elfutils is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

. $srcdir/test-subr.sh

# = s.c
#
# int s()
# {
#   int i = -1;
#   int j = -1;
#
#   return i - j;
# }
#
# = m.c
#
# extern int s();
#
# int
# main ()
# {
#   const signed char sc = -2;
#   const unsigned char uc = 254;
#
#   const signed short ss = -16;
#   const unsigned short us = 65520;
#
#   const signed int si = -3;
#   const unsigned int ui = 4200000000;
#
#   signed long sl = -1;
#   unsigned long ul = 0xffffffffffffffffUL;
#
#   return s ();
# }
#
# gcc -gdwarf-5 -O2 -c s.c
# gcc -gdwarf-4 -O2 -c m.c
# gcc -o testfile-const-values s.o m.o
# eu-strip -g -f testfile-const-values.debug testfile-const-values

testfiles testfile-const-values.debug

testrun_compare ${abs_top_builddir}/src/readelf --debug-dump=info testfile-const-values.debug << EOF

DWARF section [28] '.debug_info' at offset 0x2e0:
 [Offset]
 Compilation unit at offset 0:
 Version: 5, Abbreviation section offset: 0, Address size: 8, Offset size: 4
 Unit type: compile (1)
 [     c]  compile_unit         abbrev: 2
           producer             (strp) "GNU C11 7.3.1 20180303 (Red Hat 7.3.1-5) -mtune=generic -march=x86-64 -gdwarf-5 -O2"
           language             (data1) C11 (29)
           name                 (string) "s.c"
           comp_dir             (strp) "/home/mark/build/elfutils-obj"
           low_pc               (addr) 0x00000000004004d0
           high_pc              (data8) 3 (0x00000000004004d3)
           stmt_list            (sec_offset) 0
 [    2e]    subprogram           abbrev: 3
             external             (flag_present) yes
             name                 (string) "s"
             decl_file            (data1) s.c (1)
             decl_line            (data1) 1
             type                 (ref4) [    5e]
             low_pc               (addr) 0x00000000004004d0
             high_pc              (data8) 3 (0x00000000004004d3)
             frame_base           (exprloc) 
              [ 0] call_frame_cfa
             call_all_calls       (flag_present) yes
             sibling              (ref4) [    5e]
 [    4d]      variable             abbrev: 1
               name                 (string) "i"
               decl_file            (implicit_const) s.c (1)
               decl_line            (data1) 3
               type                 (ref4) [    5e]
               const_value          (implicit_const) -1
 [    55]      variable             abbrev: 1
               name                 (string) "j"
               decl_file            (implicit_const) s.c (1)
               decl_line            (data1) 4
               type                 (ref4) [    5e]
               const_value          (implicit_const) -1
 [    5e]    base_type            abbrev: 4
             byte_size            (data1) 4
             encoding             (data1) signed (5)
             name                 (string) "int"
 Compilation unit at offset 102:
 Version: 4, Abbreviation section offset: 73, Address size: 8, Offset size: 4
 [    71]  compile_unit         abbrev: 1
           producer             (strp) "GNU C11 7.3.1 20180303 (Red Hat 7.3.1-5) -mtune=generic -march=x86-64 -gdwarf-4 -O2"
           language             (data1) C99 (12)
           name                 (string) "m.c"
           comp_dir             (strp) "/home/mark/build/elfutils-obj"
           ranges               (sec_offset) range list [     0]
           low_pc               (addr) 000000000000000000
           stmt_list            (sec_offset) 54
 [    8f]    subprogram           abbrev: 2
             external             (flag_present) yes
             name                 (strp) "main"
             decl_file            (data1) m.c (1)
             decl_line            (data1) 4
             type                 (ref4) [   119]
             low_pc               (addr) 0x00000000004003e0
             high_pc              (data8) 7 (0x00000000004003e7)
             frame_base           (exprloc) 
              [ 0] call_frame_cfa
             GNU_all_call_sites   (flag_present) yes
             sibling              (ref4) [   119]
 [    b0]      variable             abbrev: 3
               name                 (string) "sc"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 6
               type                 (ref4) [   12c]
               const_value          (sdata) -2
 [    bb]      variable             abbrev: 3
               name                 (string) "uc"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 7
               type                 (ref4) [   138]
               const_value          (sdata) 254 (-2)
 [    c6]      variable             abbrev: 3
               name                 (string) "ss"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 9
               type                 (ref4) [   144]
               const_value          (sdata) -16
 [    d1]      variable             abbrev: 3
               name                 (string) "us"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 10
               type                 (ref4) [   150]
               const_value          (sdata) 65520 (-16)
 [    dc]      variable             abbrev: 3
               name                 (string) "si"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 12
               type                 (ref4) [   120]
               const_value          (sdata) -3
 [    e7]      variable             abbrev: 3
               name                 (string) "ui"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 13
               type                 (ref4) [   15c]
               const_value          (sdata) 4200000000 (-94967296)
 [    f5]      variable             abbrev: 3
               name                 (string) "sl"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 15
               type                 (ref4) [   161]
               const_value          (sdata) -1
 [   100]      variable             abbrev: 3
               name                 (string) "ul"
               decl_file            (data1) m.c (1)
               decl_line            (data1) 16
               type                 (ref4) [   168]
               const_value          (sdata) 18446744073709551615 (-1)
 [   10b]      GNU_call_site        abbrev: 4
               low_pc               (addr) 0x00000000004003e7
               GNU_tail_call        (flag_present) yes
               abstract_origin      (ref4) [   16f]
 [   119]    base_type            abbrev: 5
             byte_size            (data1) 4
             encoding             (data1) signed (5)
             name                 (string) "int"
 [   120]    const_type           abbrev: 6
             type                 (ref4) [   119]
 [   125]    base_type            abbrev: 7
             byte_size            (data1) 1
             encoding             (data1) signed_char (6)
             name                 (strp) "signed char"
 [   12c]    const_type           abbrev: 6
             type                 (ref4) [   125]
 [   131]    base_type            abbrev: 7
             byte_size            (data1) 1
             encoding             (data1) unsigned_char (8)
             name                 (strp) "unsigned char"
 [   138]    const_type           abbrev: 6
             type                 (ref4) [   131]
 [   13d]    base_type            abbrev: 7
             byte_size            (data1) 2
             encoding             (data1) signed (5)
             name                 (strp) "short int"
 [   144]    const_type           abbrev: 6
             type                 (ref4) [   13d]
 [   149]    base_type            abbrev: 7
             byte_size            (data1) 2
             encoding             (data1) unsigned (7)
             name                 (strp) "short unsigned int"
 [   150]    const_type           abbrev: 6
             type                 (ref4) [   149]
 [   155]    base_type            abbrev: 7
             byte_size            (data1) 4
             encoding             (data1) unsigned (7)
             name                 (strp) "unsigned int"
 [   15c]    const_type           abbrev: 6
             type                 (ref4) [   155]
 [   161]    base_type            abbrev: 7
             byte_size            (data1) 8
             encoding             (data1) signed (5)
             name                 (strp) "long int"
 [   168]    base_type            abbrev: 7
             byte_size            (data1) 8
             encoding             (data1) unsigned (7)
             name                 (strp) "long unsigned int"
 [   16f]    subprogram           abbrev: 8
             external             (flag_present) yes
             declaration          (flag_present) yes
             linkage_name         (string) "s"
             name                 (string) "s"
             decl_file            (data1) m.c (1)
             decl_line            (data1) 1
EOF

exit 0