From 78e62ae0e7748a434687711d0f8ba3e39eaeac97 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Sat, 25 Sep 2004 11:13:38 +0000 Subject: [PATCH] check for correct use of pec_inherited [r3946] --- ir/tr/trvrfy.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ir/tr/trvrfy.c b/ir/tr/trvrfy.c index 2e042704a..fd3d5767f 100644 --- a/ir/tr/trvrfy.c +++ b/ir/tr/trvrfy.c @@ -169,6 +169,12 @@ static int check_entity(entity *ent) { return error_existent_entity_without_irg; } + if (get_entity_peculiarity(ent) == peculiarity_inherited) { + entity *impl = get_SymConst_entity(get_atomic_ent_value(ent)); + assert(get_entity_peculiarity(impl) == peculiarity_existent && + "inherited entities must have constant pointing to existent entity."); + } + return 0; } -- 2.20.1