predicate aware uninitialized analysis
[official-gcc.git] / contrib / compare-debug
blob98c80f93e98d05b3a275bc5d5a9b4a1e3794aaca
1 #! /bin/sh
3 # Compare stripped copies of two given object files.
5 # Copyright (C) 2007, 2008, 2009 Free Software Foundation
6 # Originally by Alexandre Oliva <aoliva@redhat.com>
8 # This file is part of GCC.
10 # GCC is free software; you can redistribute it and/or modify it under
11 # the terms of the GNU General Public License as published by the Free
12 # Software Foundation; either version 3, or (at your option) any later
13 # version.
15 # GCC is distributed in the hope that it will be useful, but WITHOUT
16 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
17 # or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
18 # License for more details.
20 # You should have received a copy of the GNU General Public License
21 # along with GCC; see the file COPYING3. If not see
22 # <http://www.gnu.org/licenses/>.
24 rm='rm -f'
26 case $1 in
27 -p | --preserve)
28 rm='echo preserving'
29 shift
31 esac
33 if test $# != 2; then
34 echo 'usage: compare-debug file1.o file2.o' >&2
35 exit 1
38 if test ! -f "$1"; then
39 echo "$1" does not exist >&2
40 exit 1
43 if test ! -f "$2"; then
44 echo "$2" does not exist >&2
45 exit 1
48 suf1=stripped
49 while test -f "$1.$suf1"; do
50 suf1=$suf1.
51 done
53 suf2=stripped
54 while test -f "$2.$suf2"; do
55 suf2=$suf2.
56 done
58 trap 'rm -f "$1.$suf1" "$2.$suf2"' 0 1 2 15
60 case `uname -s` in
61 Darwin)
62 ld -S -x -r -no_uuid "$1" -o "$1.$suf1"
63 ld -S -x -r -no_uuid "$2" -o "$2.$suf2"
66 cp "$1" "$1.$suf1"
67 strip "$1.$suf1"
69 cp "$2" "$2.$suf2"
70 strip "$2.$suf2"
72 esac
74 if cmp "$1.$suf1" "$2.$suf2"; then
75 status=0
76 else
77 status=1
79 # Assembler-generated CFI will add an .eh_frame section for -g not
80 # present in -g0. Try to cope with it by checking that an .eh_frame
81 # section is present in either object file, and then stripping it
82 # off before re-comparing.
84 cmd=
85 cmp1=
86 cmp2=
88 for t in objdump readelf eu-readelf; do
89 if ($t --help) 2>&1 | grep ' --\[*section-\]*headers' > /dev/null; then
90 cmd=$t
92 $cmd --section-headers "$1.$suf1" | grep '\.eh_frame' > /dev/null
93 cmp1=$?
95 $cmd --section-headers "$2.$suf2" | grep '\.eh_frame' > /dev/null
96 cmp2=$?
98 break
100 done
102 # If we found .eh_frame in one but not the other, or if we could not
103 # find a command to tell, try to strip off the .eh_frame section
104 # from both.
105 if test "x$cmp1" != "x$cmp2" || test "x$cmd" = "x"; then
106 suf3=$suf1.
107 while test -f "$1.$suf3"; do
108 suf3=$suf3.
109 done
111 suf4=$suf2.
112 while test -f "$2.$suf4"; do
113 suf4=$suf4.
114 done
116 trap 'rm -f "$1.$suf1" "$2.$suf2" "$1.$suf3" "$2.$suf4"' 0 1 2 15
118 echo stripping off .eh_frame, then retrying >&2
120 if (objcopy -v) 2>&1 | grep ' --remove-section' > /dev/null; then
121 objcopy --remove-section .eh_frame --remove-section .rel.eh_frame --remove-section .rela.eh_frame "$1.$suf1" "$1.$suf3"
122 mv "$1.$suf3" "$1.$suf1"
124 objcopy --remove-section .eh_frame --remove-section .rel.eh_frame --remove-section .rela.eh_frame "$2.$suf2" "$2.$suf4"
125 mv "$2.$suf4" "$2.$suf2"
126 elif (strip --help) 2>&1 | grep ' --remove-section' > /dev/null; then
127 cp "$1.$suf1" "$1.$suf3"
128 strip --remove-section .eh_frame --remove-section .rel.eh_frame --remove-section .rela.eh_frame "$1.$suf3"
129 mv "$1.$suf3" "$1.$suf1"
131 cp "$2.$suf2" "$2.$suf4"
132 strip --remove-section .eh_frame --remove-section .rel.eh_frame --remove-section .rela.eh_frame "$2.$suf4"
133 mv "$2.$suf4" "$2.$suf2"
134 else
135 echo failed to strip off .eh_frame >&2
138 trap 'rm -f "$1.$suf1" "$2.$suf2"' 0 1 2 15
140 if cmp "$1.$suf1" "$2.$suf2"; then
141 status=0
142 else
143 status=1
148 $rm "$1.$suf1" "$2.$suf2"
150 trap "exit $status; exit" 0 1 2 15
152 if test -f "$1".gkd || test -f "$2".gkd; then
153 if cmp "$1".gkd "$2".gkd; then
155 else
156 status=$?
160 exit $status