--- /dev/null
+load_lib dwarf.exp
+
+# This test can only be run on targets which support DWARF-2 and use gas.
+if {![dwarf2_support]} {
+ return 0
+};
+
+standard_testfile main-foo.c .S
+
+set executable ${testfile}
+set asm_file [standard_output_file ${srcfile2}]
+
+# We need to know the size of integer and address types in order
+# to write some of the debugging info we'd like to generate.
+if [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} {debug}] {
+ return -1
+}
+
+# Create the DWARF.
+Dwarf::assemble $asm_file {
+ declare_labels cu_label cu2_label int_label int2_label
+ set int_size [get_sizeof "int" 4]
+
+ # imported CU 1: inty unsigned
+ cu {} {
+ cu_label: compile_unit {
+ {language @DW_LANG_C}
+ {name "<artificial>"}
+ } {
+ int_label: base_type {
+ {byte_size $int_size sdata}
+ {encoding @DW_ATE_unsigned}
+ {name {unsigned int}}
+ }
+ DW_TAG_typedef {
+ {DW_AT_name inty}
+ {DW_AT_type :$int_label}
+ }
+ }
+ }
+
+ # imported CU 2: inty signed
+ cu {} {
+ cu2_label: compile_unit {
+ {language @DW_LANG_C}
+ {name "<artificial>"}
+ } {
+ int2_label: base_type {
+ {byte_size $int_size sdata}
+ {encoding @DW_ATE_signed}
+ {name {int}}
+ }
+ DW_TAG_typedef {
+ {DW_AT_name inty}
+ {DW_AT_type :$int2_label}
+ }
+ }
+ }
+
+ # main CU
+ cu {} {
+ compile_unit {
+ {language @DW_LANG_C}
+ {name "<artificial>"}
+ } {
+ imported_unit {
+ {import %$cu2_label}
+ }
+
+ subprogram {
+ {MACRO_AT_func {main}}
+ {external 1 flag}
+ }
+ }
+ }
+
+ # foo CU
+ cu {} {
+ compile_unit {
+ {language @DW_LANG_C}
+ {name "<artificial>"}
+ } {
+ imported_unit {
+ {import %$cu_label}
+ }
+
+ subprogram {
+ {MACRO_AT_func {foo}}
+ {external 1 flag}
+ }
+ }
+ }
+
+}
+
+if { [prepare_for_testing "failed to prepare" ${testfile} \
+ [list $srcfile $asm_file] {nodebug}] } {
+ return -1
+}
+
+if ![runto_main] {
+ return -1
+}
+
+gdb_test "ptype inty" "type = int" "ptype in main"
+
+gdb_breakpoint "foo"
+gdb_continue_to_breakpoint "continue to breakpoint for foo"
+
+gdb_test "ptype inty" "type = unsigned int" "ptype in foo"