Assert on any attempt to make a symbol a typedef for itself.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2732

diff --git a/coregrind/vg_symtypes.c b/coregrind/vg_symtypes.c
index 2018a3b48ebf0d66cac4d5a19503a344949ccd8d..52643ecd02074cd6f58df875cb4b0f931acca64a 100644 (file)
--- a/coregrind/vg_symtypes.c
+++ b/coregrind/vg_symtypes.c
@@ -399,6 +399,7 @@ SymType *VG_(st_mktypedef)(SymType *st, Char *name, SymType *type)
 {
    st = alloc(st);
 
+   vg_assert(st != type);
    vg_assert(st->kind == TyUnresolved || st->kind == TyUnknown ||
             st->kind == TyStruct || st->kind == TyUnion ||
             st->kind == TyTypedef);