gdb/testsuite/TODO

   1 The highest priority item is not on this list: Fix bugs in the
   2 existing testsuite, fix the GDB/compiler/shell/etc bugs which it
   3 detects (particularly when they are hard to XFAIL), make it run
   4 reliably without unexpected failures on the "standard" machines, etc.
   5 This list exists largely as "tests we can add when we are ready to
   6 risk destabilizing it again".
   7
   8 There are some tests which are only run on some platforms because they
   9 have not been tested on more platforms.  Enable them and fix any
  10 problems.  A partial list: recurse.exp, watchpoint.exp
  11 (test_watchpoint_triggered_in_syscall, test_complex_watchpoint).
  12
  13 Test printing of structures passed by value, for the 7th, 8th, and 9th
  14 arguments (PR 1714).  Test printing structure arguments of
  15 2,4,6,8,12,16,and 20 bytes.  Same for structure return of all those
  16 sizes ("return", "finish", and call function).
  17
  18 Get crossload tests to use --enable-targets and reenable them.
  19
  20 corefile.exp:
  21 Test ability to run program when there is a core target, then go
  22 back to the core file when the program exits.
  23
  24 Test handling of floating point variables
  25 1.  float, double, or long double
  26 2.  in register or saved register or memory.  Also the case where a
  27 double is in two float registers and only one of them is saved.
  28 3.  print them or set them
  29 4.  (Alpha) integer (32 or 64 bit) in floating point register.
  30
  31 Print registers--"p $r5", "p sizeof ($r5)".  Test that they print
  32 appropriately (integer registers in decimal, registers which always
  33 contain addresses (pc, probably sp and fp, maybe others) in hex,
  34 floating point).
  35
  36 Test completer.  Test that it completes a variety of things correctly
  37 (see the list of test cases in main.c in the gdb source).  Test TAB,
  38 M-?, and the "complete" command.
  39
  40 Test "info line" with all kinds of linespecs.  Test that the last line
  41 of the file works right.
  42
  43 weird.exp--test that unrecognized cross-reference types or
  44 unrecognized visibility or virtual characters get skipped properly
  45 (see stabs.texinfo).
  46
  47 Test C++ nested types (especially if PR 1954 is fixed; even if not
  48 *some* things already should work even in the presence of nested
  49 types).  Test classes nested more than 9 levels deep (g++ mangles
  50 these differently) (both a demangle test and some tests which also
  51 test the compiler).  Test calling a method of a class nested more than
  52 9 levels (for gdb_mangle_name and demangling).
  53
  54 Test static member functions (C++).  Test that "ptype" shows them
  55 correctly, both before and after they have been converted from stub
  56 methods.  Test that we can call them.
  57
  58 Test printing complicated types, including functions, pointers to
  59 arrays of pointers of functions, functions which return pointers to
  60 functions, etc.
  61
  62 printcmd.exp--test printing enum values.  Test printing an enum
  63 variable whose value is out of range.  Test "p (int)enum_var", "p/x
  64 enum_var".  Test that in something like "enum {FOO, LAST_THING=FOO}"
  65 we print FOO, not LAST_THING.
  66
  67 Test GDB expressions--test all operators (and overloaded operators for
  68 C++).  Test integer constants which are signed or unsigned int, long,
  69 or long long.  Test detection of overflow of an integer constant.
  70 Here are a few integer constants to test (test they get the right
  71 types): 5, 5LL, 5LuL, 5L6u (invalid), 5LU.  Maybe things like
  72 0x12345678, 0x87654321, etc., but their types depend on sizes of int,
  73 long, etc.
  74
  75 Test that printing const-qualified versions of various types works.
  76 In particular, on the sparc and probably other machines, "double" is
  77 handled differently from most types because it requires more alignment
  78 and thus goes in a different section (there is a gcc 2.4.5 bug with
  79 "const double" on sparc).
  80
  81 Test that GDB's "source" command works and that things work if stdin
  82 is redirected (to a file or a pipe).  Test user defined command.  Run
  83 an inferior each of these ways (to test that inflow.c works).  Test
  84 that GDB works if the last line of stdin or a source'd file lacks a
  85 newline.
  86
  87 Test that unmatched single quotes produce error messages, both in
  88 expressions and linespecs.
  89
  90 Test "cd".  "foo/bar/.." should get simplified to "foo".  "/../.."
  91 should not get simplified (for Mach).  "/.." should not get simplified
  92 (for other networked OSes; POSIX.1 section B.2.3.7).  All these
  93 examples should continue to work with trailing slashes.
  94
  95 Test scoping; here is a start
  96  1      int i=2;
  97  2      int j=3;
  98  3      main()
  99  4      {
 100  5          int i;
 101  6          for (i=600; i>0; i--)
 102  7              print_line(i);
 103  8      }
 104  9
 105 10      print_line(i)
 106 11          int i;
 107 12      {
 108 13          h();
 109 14          printf("%d\n",i);
 110 15      }
 111 16
 112 17      h()
 113 18      {
 114 19          printf("In h...");
 115 20      }
 116 Set a breakpoint in h, and print i, print_line::i, and main::i.  Set a
 117 breakpoint in main (or don't run the program), and test that
 118 print_line::i is an error.  But if i were static, "p main::i" should
 119 work even if the program is not being run.
 120
 121 Write a test for the reentracy bug with rs6000_struct_return_address
 122 in rs6000-tdep.c.
 123
 124 Test "return" from dummy frames.  Test "return" from non-innermost
 125 frame.  Test that "return" from a non-innermost frame restores
 126 registers which are saved not in that frame but in a frame more inner
 127 (I believe this currently works on few if any architectures).
 128
 129 FORTRAN common blocks (a.out and xcoff--weird.exp has the start of
 130 one but it is not quite right as of 19 Nov 1993).
 131
 132 Test that "x" command sets $_ and $__.  Test $_ in general.
 133
 134 Test that "p/a" works when given addresses in text, data, and bss
 135 segments.  Test that it works if program is compiled with or without
 136 -g.  Test that it works if preceding symbol is static or if it is
 137 extern.
 138
 139 Given `char abc[] = "abc\0def";' test "x/s abc" followed by "x/s"
 140 (should display "abc" followed by "def").  Test this works with no
 141 error message even if this is the last thing in the section (tests
 142 that val_print_string ignores an error if the error occurs after the
 143 '\0').
 144
 145 Test ability to process NMAGIC a.out files.
 146
 147 Test shared libraries:  "next" over printf, "step" into a function in
 148 a shared library which has line number info, breakpoint in a function
 149 in a shared library (either before or after the program is run and the
 150 shared libraries are loaded--also maybe write a test where the PLT
 151 will be in an unloaded state even though the shared library is loaded).
 152
 153 If there are two breakpoints in the same place, and exactly one of
 154 them has its condition true, test that the correct breakpoint gets
 155 printed.
 156
 157 Test "jump" including jump to a breakpoint (the latter will need an
 158 xfail for UDI and probably VxWorks (PR 1786 for vxworks; PR 2416
 159 contains some info for 29k).
 160
 161 Set a watchpoint on a local variable (to be interesting, make a few
 162 calls, to be more interesting, make a recursive call).  Test that it
 163 gets disabled when leaving that scope.
 164
 165 Test calling a function, hitting a breakpoint in the called function,
 166 calling another function, and hitting a breakpoint.  Test backtrace
 167 works in the presence of multiple dummy frames.  Test that "continue"
 168 will get you out of the inner called function, and "continue" again
 169 will get you back to where you were when you called the first one.
 170
 171 Test special longjmp handling in wait_for_inferior (need to figure out
 172 in detail what the proper behavior in each case is).  Test longjmp to
 173 a place where there is a breakpoint (such that
 174 BPSTAT_WHAT_CLEAR_LONGJMP_RESUME_SINGLE happens).  In general, test
 175 interactions between longjmp and watchpoints, breakpoints, stepping,
 176 call function, etc.
 177
 178 Test jumping right past a breakpoint (the case where wait_for_inferior
 179 passes not_a_breakpoint to bpstat_stop_status).  Might already be
 180 tested by some of the sun3 tests.  Probably want a .s test to avoid
 181 compiler dependencies.
 182
 183 Test more obscure wait_for_inferior cases, expanding on the tests in
 184 watchpoint.exp, signals.exp, etc.
 185
 186 Test stepping into functions which are one line long and functions
 187 which are on line 1 of the source file. (there is a class of bugs in
 188 which gdb doesn't find the line number information, and thus doesn't
 189 step into the function).
 190
 191 Test that prologue recognition, backtrace, printing locals, etc.,
 192 still work in the presence of large frames (the point being that at
 193 some point immediate fields in RISC instructions will overflow and
 194 prologues will need to look different.  For sparc, the immediate field
 195 is 13 bits (signed), so I believe the threshold would be 4K bytes in a
 196 frame).
 197
 198 \f
 199 (this is for editing this file with GNU emacs)
 200 Local Variables:
 201 mode: text
 202 End: