[gdb/testsuite] Remove stale exec in gdb_compile_ada
[binutils-gdb.git] / gdb / testsuite / lib / ada.exp
index bf9c41238b10444c7fd1c23c94083fd11897d3ab..9933cc951e3755b42d606991272a32747e3ddfa2 100644 (file)
-# Copyright 2004, 2007 Free Software Foundation, Inc.
+# Copyright 2004-2020 Free Software Foundation, Inc.
 #
 # This program 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 2 of the License, or
+# the Free Software Foundation; either version 3 of the License, or
 # (at your option) any later version.
-# 
+#
 # This program 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, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
-# USA.  
-
-load_lib libgloss.exp
-
-# FIXME:brobecker/2004-03-31:
-# The following function should eventually be part of dejagnu. Even after
-# this function becomes available in dejagnu, we will keep for a while
-# a copy of this function here in order to avoid increasing the dejagnu
-# version requirement.
-
-proc gdb_find_gnatmake {} {
-    global tool_root_dir
-
-    set root "$tool_root_dir/gcc"
-    set GM ""
-
-    if ![is_remote host] {
-        set file [lookfor_file $root gnatmake]
-        if { $file != "" } {
-            set GM "$file -I$root/ada/rts --GCC=$root/xgcc --GNATBIND=$root/gnatbind --GNATLINK=$root/gnatlink -cargs -B$root -largs --GCC=$root/xgcc -margs";
-        }   
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# Call target_compile with SOURCE DEST TYPE and OPTIONS as argument,
+# after having temporarily changed the current working directory to
+# BUILDDIR.
+
+proc target_compile_ada_from_dir {builddir source dest type options} {
+    set saved_cwd [pwd]
+
+    global board
+    set board [target_info name]
+    set save_multilib_flag [board_info $board multilib_flags]
+    set multilib_flag ""
+    foreach op $save_multilib_flag {
+       if { $op == "-pie" || $op == "-no-pie" } {
+           # Pretend gnatmake supports -pie/-no-pie, route it to
+           # linker.
+           append multilib_flag " -largs $op -margs"
+       } else {
+           append multilib_flag " $op"
+       }
     }
-
-    if {$GM == ""} {
-        set GM [transform gnatmake]
+    if { $multilib_flag != "" } {
+       unset_board_info "multilib_flags"
+       set_board_info multilib_flags "$multilib_flag"
     }
 
-    return $GM
-}   
-
-# FIXME:brobecker/2004-03-31:
-# The following function is a copy of the function of the same name provided
-# by dejagnu, except that it has been modified to add support for building
-# Ada programs.  This copy is temporarily placed here until the changes
-# are merged into the dejagnu official release. Once the changes are merged,
-# we will likely keep this local copy for a while to avoid increasing the
-# dejagnu version requirement.
-
-proc gdb_default_target_compile {source destfile type options} {
-    global target_triplet
-    global tool_root_dir
-    global CFLAGS_FOR_TARGET
-    global compiler_flags
+    catch {
+        cd $builddir
+        return [target_compile $source $dest $type $options]
+    } result options
+    cd $saved_cwd
 
-    if { $destfile == "" && $type != "preprocess" && $type != "none" } {
-       error "Must supply an output filename for the compile to default_target_compile"
+    if { $save_multilib_flag != "" } {
+       unset_board_info "multilib_flags"
+       set_board_info multilib_flags $save_multilib_flag
     }
 
-    set add_flags ""
-    set libs ""
-    set compiler_type "c"
-    set compiler ""
-    set ldflags ""
-    set dest [target_info name]
+    return -options $options $result
+}
 
-    if [info exists CFLAGS_FOR_TARGET] {
-       append add_flags " $CFLAGS_FOR_TARGET"
-    }
+# Compile some Ada code.
 
-    if [info exists target_info(host,name)] {
-       set host [host_info name];
-    } else {
-       set host "unix";
-    }
+proc gdb_compile_ada {source dest type options} {
 
-    foreach i $options {
-       if { $i == "ada" } {
-           set compiler_type "ada"
-           if [board_info $dest exists adaflags] {
-               append add_flags " [target_info adaflags]"
-           }
-           # append add_flags " [gnatmake_include_flags]";
-           if [board_info $dest exists gnatmake] {
-               set compiler [target_info gnatmake];
-           } else {
-               set compiler [find_gnatmake];
-           }
-       }
+    set srcdir [file dirname $source]
+    set gprdir [file dirname $srcdir]
+    set objdir [file dirname $dest]
 
-       if { $i == "c++" } {
-           set compiler_type "c++"
-           if [board_info $dest exists cxxflags] {
-               append add_flags " [target_info cxxflags]"
-           }
-           append add_flags " [g++_include_flags]";
-           if [board_info $dest exists c++compiler] {
-               set compiler [target_info c++compiler];
-           } else {
-               set compiler [find_g++];
-           }
-       }
+    file delete $dest
 
-       if { $i == "f77" } {
-           set compiler_type "f77"
-           if [board_info $dest exists f77flags] {
-               append add_flags " [target_info f77flags]"
-           }
-#          append add_flags " [f77_include_flags]"
-           if [board_info $dest exists f77compiler] {
-               set compiler [target_info f77compiler]
-           } else {
-               set compiler [find_g77]
-           }
-       }
+    # Although strictly not necessary, we force the recompilation
+    # of all units (additional_flags=-f).  This is what is done
+    # when using GCC to build programs in the other languages,
+    # and it avoids using a stray objfile file from a long-past
+    # run, for instance.
+    append options " ada"
+    append options " additional_flags=-f"
+    append options " additional_flags=-I$srcdir"
 
-       if [regexp "^dest=" $i] {
-           regsub "^dest=" $i "" tmp
-           if [board_info $tmp exists name] {
-               set dest [board_info $tmp name];
-           } else {
-               set dest $tmp;
-           }
-       }
-       if [regexp "^compiler=" $i] {
-           regsub "^compiler=" $i "" tmp
-           set compiler $tmp
-       }
-       if [regexp "^additional_flags=" $i] {
-           regsub "^additional_flags=" $i "" tmp
-           append add_flags " $tmp"
-       }
-       if [regexp "^ldflags=" $i] {
-           regsub "^ldflags=" $i "" tmp
-           append ldflags " $tmp"
-       }
-       if [regexp "^libs=" $i] {
-           regsub "^libs=" $i "" tmp
-           append libs " $tmp"
-       }
-       if [regexp "^incdir=" $i] {
-           regsub "^incdir=" $i "-I" tmp
-           append add_flags " $tmp"
-       }
-       if [regexp "^libdir=" $i] {
-           regsub "^libdir=" $i "-L" tmp
-           append add_flags " $tmp"
-       }
-       if [regexp "^ldscript=" $i] {
-           regsub "^ldscript=" $i "" ldscript
-       }
-       if [regexp "^redirect=" $i] {
-           regsub "^redirect=" $i "" redirect
-       }
-       if [regexp "^optimize=" $i] {
-           regsub "^optimize=" $i "" optimize
-       }
-       if [regexp "^timeout=" $i] {
-           regsub "^timeout=" $i "" timeout
-       }
-    }
+    set result [target_compile_ada_from_dir \
+                    $objdir [file tail $source] $dest $type $options]
 
-    if [board_info $host exists cflags_for_target] {
-       append add_flags " [board_info $host cflags_for_target]";
-    }
+    # The Ada build always produces some output, even when the build
+    # succeeds. Thus, we can not use the output the same way we do in
+    # gdb_compile to determine whether the build has succeeded or not.
+    # We therefore simply check whether the dest file has been created
+    # or not. Unless not present, the build has succeeded.
+    if [file exists $dest] { set result "" }
+    gdb_compile_test $source $result
+    return $result
+}
 
-    global CC_FOR_TARGET
-    global CXX_FOR_TARGET
-    global F77_FOR_TARGET
-    global GNATMAKE_FOR_TARGET
-    
-    if [info exists CC_FOR_TARGET] {
-       if { $compiler == "" } {
-           set compiler $CC_FOR_TARGET
-       }
-    }
+# Like standard_testfile, but for Ada.  Historically the Ada tests
+# used a different naming convention from many of the other gdb tests,
+# and this difference was preserved during the conversion to
+# standard_testfile.  DIR defaults to the base name of the test case;
+# but can be overridden to find sources in a different subdirectory of
+# gdb.ada.
 
-    if [info exists CXX_FOR_TARGET] {
-       if { $compiler_type == "c++" } {
-           set compiler $CXX_FOR_TARGET
-       }
-    }
+proc standard_ada_testfile {base_file {dir ""}} {
+    global gdb_test_file_name srcdir subdir
+    global testdir testfile srcfile binfile
 
-    if [info exists F77_FOR_TARGET] {
-       if { $compiler_type == "f77" } {
-           set compiler $F77_FOR_TARGET
-       }
+    if {$dir == ""} {
+       set testdir $gdb_test_file_name
+    } else {
+       set testdir $dir
     }
 
-    if [info exists GNATMAKE_FOR_TARGET] {
-       if { $compiler_type == "ada" } {
-           set compiler $GNATMAKE_FOR_TARGET
-       }
-    }
+    set testfile $base_file
+    set srcfile $srcdir/$subdir/$testdir/$testfile.adb
+    set binfile [standard_output_file $testfile]
+}
 
-    if { $compiler == "" } {
-       set compiler [board_info $dest compiler];
-       if { $compiler == "" } {
-           return "default_target_compile: No compiler to compile with";
-       }
-    }
+# A helper function to find the appropriate version of a tool.
+# TOOL is the tool's name, e.g., "gnatbind" or "gnatlink".
 
-    if ![is_remote host] {
-       if { [which $compiler] == 0 } {
-           return "default_target_compile: Can't find $compiler."
-       }
-    }
+proc find_ada_tool {tool} {
+    set upper [string toupper $tool]
 
-    if {$type == "object"} {
-       append add_flags " -c"
+    set targname ${upper}_FOR_TARGET
+    global $targname
+    if {[info exists $targname]} {
+       return $targname
     }
 
-    if { $type == "preprocess" } {
-       append add_flags " -E"
-    }
-    
-    if { $type == "assembly" } {
-       append add_flags " -S"
-    }
+    global tool_root_dir
+    set root "$tool_root_dir/gcc"
+    set result ""
 
-    if [board_info $dest exists cflags] {
-       append add_flags " [board_info $dest cflags]"
+    if {![is_remote host]} {
+        set result [lookfor_file $root $tool]
     }
 
-    if { $type == "executable" } {
-       # This must be added here.
-       # if [board_info $dest exists ldscript] {
-       #     append add_flags " [board_info $dest ldscript]"
-       # }
-
-       if [board_info $dest exists ldflags] {
-           append add_flags " [board_info $dest ldflags]"
-       }
-       if { $compiler_type == "c++" } {
-           append add_flags " [g++_link_flags]";
-       }
-       if [isnative] {
-           # This is a lose.
-           catch "glob -nocomplain $tool_root_dir/libstdc++/libstdc++.so* $tool_root_dir/libstdc++/libstdc++.sl" tmp
-           if { ${tmp} != "" } {
-               if [regexp ".*solaris2.*" $target_triplet] {
-                   # Solaris 2
-                   append add_flags " -R$tool_root_dir/libstdc++"
-               } elseif [regexp ".*(osf|irix5|linux).*" $target_triplet] {
-                   # OSF/1 or Irix5
-                   append add_flags " -Wl,-rpath,$tool_root_dir/libstdc++"
-               } elseif [regexp ".*hppa.*" $target_triplet] {
-                   # HP/UX
-                   append add_flags " -Wl,-a,shared_archive"
-               }
-           }
-       }
+    if {$result == ""} {
+        set result [transform $tool]
     }
 
-    if ![info exists ldscript] {
-       set ldscript [board_info $dest ldscript]
-    }
+    return $result
+}
 
-    foreach i $options {
-       if { $i == "debug" } {
-           if [board_info $dest exists debug_flags] {
-               append add_flags " [board_info $dest debug_flags]";
-           } else {
-               append add_flags " -g"
-           }
-       }
-    }
+# Return 1 if gnatmake is at least version $MAJOR.x.x
 
-    if [info exists optimize] {
-       append add_flags " $optimize";
+proc gnatmake_version_at_least { major } {
+    set gnatmake [gdb_find_gnatmake]
+    set gnatmake [lindex [split $gnatmake] 0]
+    if {[catch {exec $gnatmake --version} output]} {
+       return 0
     }
-
-    if { $type == "executable" } {
-       append add_flags " $ldflags"
-       foreach x $libs {
-           if [file exists $x] {
-               append source " $x"
-           } else {
-               append add_flags " $x";
-           }
-       }
-
-       if [board_info $dest exists libs] {
-           append add_flags " [board_info $dest libs]"
-       }
-
-       # This probably isn't such a good idea, but it avoids nasty
-       # hackiness in the testsuites.
-       # The math library must be linked in before the C library.  The C
-       # library is linked in by the linker script, so this must be before
-       # the linker script.
-       if [board_info $dest exists mathlib] {
-           append add_flags " [board_info $dest mathlib]"
+    if { [regexp {GNATMAKE ([^ .]+).([^ .]+).([^ .]+)} $output \
+             match gnatmake_major gnatmake_minor gnatmake_micro] } {
+       if { $gnatmake_major >= $major } {
+           return 1
        } else {
-           append add_flags " -lm"
+           return 0
        }
+    }
 
-       # This must be added here.
-       append add_flags " $ldscript";
+    # Unknown, return 1
+    return 1
+}
 
-       if [board_info $dest exists remote_link] {
-           # Relink option.
-           append add_flags " -Wl,-r"
-       }
-       if [board_info $dest exists output_format] {
-           append add_flags " -Wl,-oformat,[board_info $dest output_format]";
-       }
-    }
+# Return 1 if the GNAT runtime appears to have debug info.
 
-    if [board_info $dest exists multilib_flags] {
-       append add_flags " [board_info $dest multilib_flags]";
-    }
+gdb_caching_proc gnat_runtime_has_debug_info {
+    global srcdir
 
-    verbose "doing compile"
-
-    set sources ""
-    if [is_remote host] {
-       foreach x $source {
-           set file [remote_download host $x];
-           if { $file == "" } {
-               warning "Unable to download $x to host."
-               return "Unable to download $x to host."
-           } else {
-               append sources " $file";
-           }
-       }
-    } else {
-       set sources $source
-    }
+    set src "$srcdir/lib/gnat_debug_info_test.adb"
+    set dst [standard_output_file "gnat_debug_info_test"]
 
-    if [is_remote host] {
-       append add_flags " -o a.out"
-       remote_file host delete a.out;
-    } else {
-       if { $destfile != "" } {
-           append add_flags " -o $destfile";
-       }
+    if { [gdb_compile_ada $src $dst executable {debug}] != "" } {
+       fail "failed to compile gnat-debug-info test binary"
+       return 0
     }
 
-    # This is obscure: we put SOURCES at the end when building an
-    # object, because otherwise, in some situations, libtool will
-    # become confused about the name of the actual source file.
-    if {$type == "object"} {
-        set opts "$add_flags $sources"
-    } else {
-        set opts "$sources $add_flags"
-    }
+    clean_restart $dst
 
-    if [is_remote host] {
-       if [host_info exists use_at] {
-           set fid [open "atfile" "w"];
-           puts $fid "$opts";
-           close $fid;
-           set opts "@[remote_download host atfile]"
-           remote_file build delete atfile
-       }
+    if { ! [runto "GNAT_Debug_Info_Test"] } {
+       fail "failed to run to GNAT_Debug_Info_Test"
+       return 0
     }
 
-    verbose "Invoking the compiler as $compiler $opts" 2
+    set has_debug_info 0
 
-    if [info exists redirect] {
-       verbose "Redirecting output to $redirect" 2
-       set status [remote_exec host "$compiler $opts" "" "" $redirect];
-    } else {
-       if [info exists timeout] {
-           verbose "Setting timeout to $timeout" 2
-           set status [remote_exec host "$compiler $opts" "" "" "" $timeout];
-       } else {
-           set status [remote_exec host "$compiler $opts"];
+    gdb_test_multiple "whatis __gnat_debug_raise_exception" "" {
+       -re "type = <text variable, no debug info>" { }
+       -re "type = void" {
+           set has_debug_info 1
+       }
+       default {
+           # Some other unexpected output...
+           fail $gdb_test_name
        }
     }
 
-    set compiler_flags $opts
-    if [is_remote host] {
-       remote_upload host a.out $destfile;
-       remote_file host delete a.out;
-    }
-    set comp_output [prune_warnings [lindex $status 1]];
-    regsub "^\[\r\n\]+" $comp_output "" comp_output;
-    if { [lindex $status 0] != 0 } {
-       verbose -log "compiler exited with status [lindex $status 0]";
-    }
-    if { [lindex $status 1] != "" } {
-       verbose -log "output is:\n[lindex $status 1]" 2;
-    }
-    if { [lindex $status 0] != 0 && "${comp_output}" == "" } {
-       set comp_output "exit status is [lindex $status 0]";
-    }
-    return ${comp_output};
+    return $has_debug_info
 }
-
-# See if the version of dejaGNU being used to run the testsuite is
-# recent enough to contain support for building Ada programs or not.
-# If not, then use the functions above in place of the ones provided
-# by dejaGNU. This is only temporary (brobecker/2004-03-31).
-
-if {[info procs find_gnatmake] == ""} {
-  proc find_gnatmake { } { return [gdb_find_gnatmake] }
-  proc default_target_compile { source destfile type options } {
-    return [gdb_default_target_compile $source $destfile $type $options]
-  }
-}
-
-# Compile some Ada code.
-
-proc gdb_compile_ada {source dest type options} {
-
-    set srcdir [file dirname $source]
-    set gprdir [file dirname $srcdir]
-    set objdir [file dirname $dest]
-
-    append options " ada"
-    append options " additional_flags=-P$gprdir/gnat_ada"
-    append options " additional_flags=-XSRC=[file tail $srcdir]"
-    append options " additional_flags=-XOBJ=$objdir"
-
-    set result [target_compile [file tail $source] $dest $type $options]
-
-    # The Ada build always produces some output, even when the build
-    # succeeds. Thus, we can not use the output the same way we do in
-    # gdb_compile to determine whether the build has succeeded or not.
-    # We therefore simply check whether the dest file has been created
-    # or not. Unless not present, the build has succeeded.
-    if ![file exists $dest] {
-        unsupported "Ada compilation failed: $result"
-        return "Ada compilation failed."
-    }
-}
-