forked from Imagelibrary/binutils-gdb
This patch adds *basic* support for C++ to the compile feature. It does
most simple type conversions, including everything that C compile does and
your basic "with-classes" type of C++.
I've written a new compile-support.exp support file which adds a new test
facility for automating and simplifying "compile print" vs "compile code"
testing. See testsuite/lib/compile-support.exp and CompileExpression
for more on that. The tests use this facility extensively.
This initial support has several glaring omissions:
- No template support at all
I have follow-on patches for this, but they add much complexity
to this "basic" support. Consequently, they will be submitted separately.
- Cannot print functions
The code template needs tweaking, and I simply haven't gotten to it yet.
- So-called "special function" support is not included
Using constructors, destructors, operators, etc will not work. I have
follow-on patches for that, but they require some work because of the
recent churn in symbol searching.
- There are several test suite references to "compile/1234" bugs.
I will file bugs and update the test suite's bug references before pushing
these patches.
The test suite started as a copy of the original C-language support, but
I have written tests to exercise the basic functionality of the plug-in.
I've added a new option for outputting debug messages for C++ type-conversion
("debug compile-cplus-types").
gdb/ChangeLog:
* Makefile.in (SUBDIR_GCC_COMPILE_SRCS): Add compile-cplus-symbols.c
and compile-cplus-types.c.
(HFILES_NO_SRCDIR): Add gcc-cp-plugin.h.
* c-lang.c (cplus_language_defn): Set C++ compile functions.
* c-lang.h (cplus_get_compile_context, cplus_compute_program):
Declare.
* compile/compile-c-support.c: Include compile-cplus.h.
(load_libcompile): Templatize.
(get_compile_context): "New" function.
(c_get_compile_context): Use get_compile_context.
(cplus_get_compile_context): New function.
(cplus_push_user_expression, cplus_pop_user_expression)
(cplus_add_code_header, cplus_add_input, cplus_compile_program)
(cplus_compute_program): Define new structs/functions.
* compile/compile-cplus-symmbols.c: New file.
* compile/compile-cplus-types.c: New file.
* compile/compile-cplus.h: New file.
* compile/compile-internal.h (debug_compile_oracle, GCC_TYPE_NONE):
Declare.
* compile/compile-object-load.c (get_out_value_type): Use
strncmp_iw when comparing symbol names.
(compile_object_load): Add mst_bss and mst_data.
* compile/compile.c (_initialize_compile): Remove
-Wno-implicit-function-declaration from `compile_args'.
* compile/gcc-cp-plugin.h: New file.
* NEWS: Mention C++ compile support and new debug options.
gdb/testsuite/ChangeLog:
* gdb.compile/compile-cplus-anonymous.cc: New file.
* gdb.compile/compile-cplus-anonymous.exp: New file.
* gdb.compile/compile-cplus-array-decay.cc: New file.
* gdb.compile/compile-cplus-array-decay.exp: New file.
* gdb.compile/compile-cplus-inherit.cc: New file.
* gdb.compile/compile-cplus-inherit.exp: New file.
* gdb.compile/compile-cplus-member.cc: New file.
* gdb.compile/compile-cplus-member.exp: New file.
* gdb.compile/compile-cplus-method.cc: New file.
* gdb.compile/compile-cplus-method.exp: New file.
* gdb.compile/compile-cplus-mod.c: "New" file.
* gdb.compile/compile-cplus-namespace.cc: New file.
* gdb.compile/compile-cplus-namespace.exp: New file.
* gdb.compile/compile-cplus-nested.cc: New file.
* gdb.compile/compile-cplus-nested.exp: New file.
* gdb.compile/compile-cplus-print.c: "New" file.
* gdb.compile/compile-cplus-print.exp: "New" file.
* gdb.compile/compile-cplus-virtual.cc: New file.
* gdb.compile/compile-cplus-virtual.exp: New file.
* gdb.compile/compile-cplus.c: "New" file.
* gdb.compile/compile-cplus.exp: "New" file.
* lib/compile-support.exp: New file.
doc/ChangeLog:
* gdb.texinfo (Compiling and injecting code in GDB): Document
set/show "compile-oracle" and "compile-cplus-types" commands.
242 lines
4.1 KiB
C
242 lines
4.1 KiB
C
/* This testcase is part of GDB, the GNU debugger.
|
|
|
|
Copyright 2014-2018 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 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, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#include <stdbool.h>
|
|
#include <iostream>
|
|
|
|
#define SOME_MACRO 23
|
|
#define ARG_MACRO(X, Y) ((X) + (Y) - 1)
|
|
|
|
|
|
enum enum_type {
|
|
ONE = 1,
|
|
TWO = 2
|
|
};
|
|
|
|
typedef int v4 __attribute__ ((vector_size (16)));
|
|
|
|
union union_type;
|
|
|
|
struct struct_type {
|
|
char charfield;
|
|
unsigned char ucharfield;
|
|
short shortfield;
|
|
unsigned short ushortfield;
|
|
int intfield;
|
|
unsigned int uintfield;
|
|
unsigned int bitfield : 3;
|
|
long longfield;
|
|
unsigned long ulongfield;
|
|
enum enum_type enumfield;
|
|
float floatfield;
|
|
double doublefield;
|
|
const union union_type *ptrfield;
|
|
struct struct_type *selffield;
|
|
int arrayfield[5];
|
|
_Complex double complexfield;
|
|
_Bool boolfield;
|
|
v4 vectorfield;
|
|
};
|
|
|
|
typedef int inttypedef;
|
|
|
|
union union_type {
|
|
int intfield;
|
|
inttypedef typedeffield;
|
|
};
|
|
|
|
/* volatile provides some coverage of the conversion code. */
|
|
volatile struct struct_type struct_object;
|
|
|
|
union union_type union_object;
|
|
|
|
|
|
enum ulonger_enum_type {
|
|
REALLY_MINUS_1 = -1UL,
|
|
};
|
|
|
|
enum ulonger_enum_type ulonger;
|
|
|
|
enum longer_enum_type {
|
|
MINUS_1 = -1,
|
|
FORCE_TO_LONG = 1L << ((8 * sizeof (long)) - 2)
|
|
};
|
|
|
|
enum longer_enum_type longer;
|
|
|
|
int globalvar = 10;
|
|
|
|
static void
|
|
func_static (int addend)
|
|
{
|
|
globalvar += addend;
|
|
}
|
|
|
|
void
|
|
func_global (int subtrahend)
|
|
{
|
|
globalvar -= subtrahend;
|
|
}
|
|
|
|
void
|
|
no_args_or_locals ()
|
|
{
|
|
/* no_args_or_locals breakpoint */
|
|
}
|
|
|
|
int *intptr;
|
|
int globalshadow = 10;
|
|
static int staticshadow = 20;
|
|
int externed = 7;
|
|
|
|
class Base
|
|
{
|
|
virtual int pure_virt () = 0;
|
|
public:
|
|
int return_value () {return a;}
|
|
private:
|
|
int a = 1;
|
|
int b = 2;
|
|
};
|
|
|
|
class Base2
|
|
{
|
|
virtual int non_pure () {return 84;}
|
|
public:
|
|
int return_value () {return b;}
|
|
private:
|
|
int a = 3;
|
|
int b = 4;
|
|
};
|
|
|
|
class Base3
|
|
{
|
|
public:
|
|
int return_value () {return b;}
|
|
private:
|
|
int b = 5;
|
|
};
|
|
|
|
|
|
class Multiple : public Base, public Base2
|
|
{
|
|
int pure_virt ()
|
|
{
|
|
int a = Base::return_value ();
|
|
return a + 42;
|
|
}
|
|
};
|
|
//struct foo { foo(); virtual ~foo(); }; struct bar : virtual foo { bar(); ~bar(); }; struct baz : bar {}; bar::bar() {} bar::~bar() {} bar t; baz u;
|
|
struct VirtualOnly
|
|
{
|
|
VirtualOnly();
|
|
virtual ~VirtualOnly()=0;
|
|
};
|
|
|
|
VirtualOnly::VirtualOnly ()
|
|
{
|
|
}
|
|
|
|
VirtualOnly::~VirtualOnly ()
|
|
{
|
|
}
|
|
|
|
struct VirtualBase : virtual VirtualOnly
|
|
{
|
|
int z = 22;
|
|
VirtualBase ();
|
|
~VirtualBase ();
|
|
};
|
|
|
|
struct VirtualBase2 : VirtualBase {};
|
|
|
|
VirtualBase::VirtualBase ()
|
|
{
|
|
z = 24;
|
|
}
|
|
|
|
VirtualBase::~VirtualBase ()
|
|
{
|
|
z = 22;
|
|
}
|
|
|
|
class Foo
|
|
{
|
|
int var;
|
|
static const int public_static_var = 12;
|
|
|
|
private:
|
|
int private_var = 0;
|
|
int private_method ();
|
|
|
|
public:
|
|
int public_var = 0;
|
|
int public_method ();
|
|
void set_private_var (int);
|
|
};
|
|
|
|
void Foo::set_private_var (int i)
|
|
{
|
|
private_var = i;
|
|
}
|
|
|
|
int Foo::private_method ()
|
|
{
|
|
return private_var;
|
|
}
|
|
|
|
int Foo::public_method ()
|
|
{
|
|
return public_var;
|
|
}
|
|
|
|
int
|
|
main ()
|
|
{
|
|
int localvar = 50;
|
|
int shadowed = 51;
|
|
int bound = 3;
|
|
int unresolved = 10;
|
|
int globalshadow = 100;
|
|
int staticshadow = 200;
|
|
int externed = 9;
|
|
int f = 0;
|
|
int var = 0;
|
|
Foo foovar;
|
|
Multiple *multivar = new Multiple;
|
|
VirtualBase vbase;
|
|
VirtualBase2 vbase2;
|
|
static int static_local = 77000;
|
|
|
|
foovar.public_var = 42;
|
|
foovar.set_private_var (42);
|
|
multivar->Base2::return_value();
|
|
{
|
|
int another_local = 7;
|
|
int shadowed = 52;
|
|
extern int unresolved;
|
|
extern int externed;
|
|
|
|
int vla[bound];
|
|
|
|
func_static (0); /* break-here */
|
|
no_args_or_locals ();
|
|
}
|
|
|
|
return 0;
|
|
}
|