From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4416 invoked by alias); 26 Sep 2002 20:22:24 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 4408 invoked from network); 26 Sep 2002 20:22:23 -0000 Received: from unknown (HELO touchme.toronto.redhat.com) (216.138.202.10) by sources.redhat.com with SMTP; 26 Sep 2002 20:22:23 -0000 Received: from redhat.com (tooth.toronto.redhat.com [172.16.14.29]) by touchme.toronto.redhat.com (Postfix) with ESMTP id 3C6CA800168; Thu, 26 Sep 2002 16:22:23 -0400 (EDT) Message-ID: <3D936C24.3070709@redhat.com> Date: Thu, 26 Sep 2002 13:22:00 -0000 From: Fernando Nasser Organization: Red Hat Canada User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020607 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Daniel Jacobowitz Cc: gdb@sources.redhat.com Subject: Re: RFC: Additional testsuite alternative References: <20020916192546.GA6174@nevyn.them.org> <20020926182132.GA26853@nevyn.them.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2002-09/txt/msg00448.txt.bz2 Daniel, I don't think something like this would be of general use. The .exp files have the full power of a script language and nothing can beat that. Compiler tests are pretty much different from debugger tests, because debuggers are interactive beasts. But as a special harness to drive C++ tests I think it is a good idea. The majority of tests deal with checking for some formatted output of a C++ construct and maybe the full power of scripting is not needed. Maybe it can even be adapted to other languages where what is being tested is of similar nature. There is a precedent already in that the gdbtk tests use their own spec files (.test). Anyway, I suggest that you do not try and make it too general, but just something that is capable of simplifying these types of C++ tests. Use .exp for the non-trivial tests. One more question: You still need a minimum .exp file, I believe, which is what runtest will find and try to run. It is also part of what identify tests in the results and so one. Regards, Fernando Daniel Jacobowitz wrote: > Does anyone have any reaction to this? Fernando, how would you feel > about adding the harness for this to the testsuite? > > The background is that I'm probably going to change the behaviour (and > definitely going to increase the visibility) of c_print_type, so I want > to have some unit tests written for it first. > > On Mon, Sep 16, 2002 at 03:25:46PM -0400, Daniel Jacobowitz wrote: > >>OK, the files were on a different machine, so this wasn't a couple minutes >>after I promised it this morning. Can't win 'em all. >> >>I very much admire the way GCC's testsuite works. You don't have to write >>code for new tests; you can just drop them in. Binutils has a two-file >>version (GCC's is all one-file, using the DejaGNU "dg" harness) that's >>comparable. >> >>GDB testing is more complicated, but I think that for a significant number >>of tests we can get the same result. Some more complex tests will still >>want to be their own .exp files, of course. Here's how what I've >>implemented so far looks. >> >>Source file two.cc: >>=== >>struct OneStruct { >> int simple; >>}; >>struct OneStruct StrOne; >>const struct OneStruct *ConstStrOnePtr; >> >>int FunctionWithPtrs (const struct OneStruct *one, const int *two) >>{ >> return 0; >>} >> >>int >>main () >>{ >> return 0; >>} >>=== >> >>Source file two.x: >>=== >>#compile two.cc two.exe executable debug >>#runto main >>#test "ptype StrOne" >>type = class OneStruct { >> public: >> int simple; >>[synthetic OneStruct]} >>#test "ptype ConstStrOnePtr" >>type = const class OneStruct { >> public: >> int simple; >>[synthetic OneStruct]} \* >>=== >> >>Lines starting with "#[a-z]" are commands. The ones we have so far (since >>they were all I needed for the test I was writing at the time :) are: >> >>#compile >> >>Works just like a call to gdb_compile, but the source is relative to the >>location of the .x file. >> >>#runto >> >>Calls either runto or runto_main depending on the argument. >> >>#test [-const] "command" >> >>Sends "command" to GDB and watches for the response, which is a series of >>lines not starting with #. If -const is specified then consts (volatiles, >>etc.) will be left alone; otherwise they are made optional iff the debug >>format is stabs. Later I'll refine it to "iff the debug format is stabs and >>the compiler does not produce const type qualifiers in its stabs". >> >>The string [synthetic ClassName] is special and expands to a regex (iff >>stabs) that matches the synthesized constructors and assignment operator >>that GCC emits when using stabs (simplisticly; it's not meant to be perfect, >>just to reduce clutter in testing simple structures, and I haven't thought >>of a way to properly prevent the synthesized methods from showing up. I >>think I just did, though, and if it works this construct will die.) >> >> >>Obviously the syntax isn't complete. It doesn't support comments yet but >>that's easy. It's not set in stone; I'd kind of like to use something other >>than '#' so that I can use '#' for comments. Maybe '%'? >> >> >>The general intention is that this makes it easier to write tests, and >>drastically easier to read them and figure out what the expected output is. >> >>Thoughts? Is this interesting to anyone else? >> >>-- >>Daniel Jacobowitz >>MontaVista Software Debian GNU/Linux Developer >> > > -- Fernando Nasser Red Hat Canada Ltd. E-Mail: fnasser@redhat.com 2323 Yonge Street, Suite #300 Toronto, Ontario M4P 2C9