501 regression between 0.18 and 0.19 were identified (see attachment).

Known internal compiler errors with messages:
cc1d: d/d-codegen.cc:2935: virtual void AggLayout::doFields(Array*, AggregateDeclaration*): Zusicherung »(__extension__ ({ const tree __t = (field_decl); if (tree_code_type[(int) (((enum tree_code) (__t)->common.code))] != ('d')) tree_class_check_failed (__t, ('d'), "d/d-codegen.cc", 2935, __FUNCTION__); __t; })->decl.mode) != VOIDmode« nicht erfüllt.
cc1d: d/dmd/attrib.c:913: virtual Array* ConditionalDeclaration::include(Scope*, ScopeDsymbol*): Zusicherung »condition« nicht erfüllt.
cc1d: d/dmd/expression.c:5751: virtual Expression* MinAssignExp::semantic(Scope*): Zusicherung »e2->type->isfloating()« nicht erfüllt.
cc1d: d/dmd/expression.c:728: virtual void Expression::toMangleBuffer(OutBuffer*): Zusicherung »0« nicht erfüllt.
cc1d: d/dmd/func.c:472: virtual void FuncDeclaration::semantic3(Scope*): Zusicherung »0« nicht erfüllt.
cc1d: d/dmd/mtype.c:566: virtual Expression* Type::getProperty(Loc, Identifier*): Zusicherung »deco« nicht erfüllt.
cc1d: d/dmd/template.c:2229: TemplateDeclaration* TemplateInstance::findTemplateDeclaration(Scope*): Zusicherung »s->parent« nicht erfüllt.
cc1d: d/dmd/template.c:628: void TemplateDeclaration::declareParameter(Scope*, TemplateParameter*, Object*): Zusicherung »0« nicht erfüllt.
cc1d: d/dmd/toobj.c:274: virtual void ClassDeclaration::toObjFile(): Zusicherung »!scope« nicht erfüllt.
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (field_decl) in doFields, bei d/d-codegen.cc:2927
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (function_decl) in darrayVal, bei d/d-codegen.cc:1654
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (function_decl) in layout_decl, bei stor-layout.c:382
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' () in darrayVal, bei d/d-codegen.cc:1654
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' () in doFields, bei d/d-codegen.cc:2927
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (parm_decl) in darrayVal, bei d/d-codegen.cc:1654
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in darrayVal, bei d/d-codegen.cc:1654
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in doFields, bei d/d-codegen.cc:2927
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in layout_decl, bei stor-layout.c:382
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (type_decl) in doFields, bei d/d-codegen.cc:2927
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in build_method_type_directly, bei tree.c:3919
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in build_pointer_type_for_mode, bei tree.c:3633
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in darrayVal, bei d/d-codegen.cc:1654
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in expand_expr_real, bei expr.c:7136
interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in expand_return, bei stmt.c:3136
interner Compiler-Fehler: Baumprüfung: rtl_expr erwartet, haben error_mark in expand_end_stmt_expr, bei stmt.c:2384
interner Compiler-Fehler: Baumprüfung: rtl_expr erwartet, haben  in expand_end_stmt_expr, bei stmt.c:2384
interner Compiler-Fehler: Baumprüfung: string_cst erwartet, haben  in check_operand_nalternatives, bei stmt.c:1906
interner Compiler-Fehler: Baumprüfung: tree_list erwartet, haben constructor in expand_inline_function, bei integrate.c:704
interner Compiler-Fehler: Baumprüfung: tree_list erwartet, haben  in initialize_argument_information, bei calls.c:1074
interner Compiler-Fehler: in d_expand_expr, bei d/d-glue.cc:3727
interner Compiler-Fehler: in emit_move_insn, bei expr.c:2830
interner Compiler-Fehler: in expand_call, bei calls.c:2362
interner Compiler-Fehler: in size_binop, bei fold-const.c:1601
interner Compiler-Fehler: in store_constructor, bei expr.c:5252

Summary: (176K)
http://dstress.kuehne.cn/www/dstress.html

Details: (745K)
http://dstress.kuehne.cn/www/gdc-0.19.html

Thomas

Thomas Kuehne wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> 501 regression between 0.18 and 0.19 were identified (see attachment).
> 
> Known internal compiler errors with messages:
> cc1d: d/d-codegen.cc:2935: virtual void AggLayout::doFields(Array*, AggregateDeclaration*): Zusicherung »(__extension__ ({ const tree __t = (field_decl); if (tree_code_type[(int) (((enum tree_code) (__t)->common.code))] != ('d')) tree_class_check_failed (__t, ('d'), "d/d-codegen.cc", 2935, __FUNCTION__); __t; })->decl.mode) != VOIDmode« nicht erfüllt.
> cc1d: d/dmd/attrib.c:913: virtual Array* ConditionalDeclaration::include(Scope*, ScopeDsymbol*): Zusicherung »condition« nicht erfüllt.
> cc1d: d/dmd/expression.c:5751: virtual Expression* MinAssignExp::semantic(Scope*): Zusicherung »e2->type->isfloating()« nicht erfüllt.
> cc1d: d/dmd/expression.c:728: virtual void Expression::toMangleBuffer(OutBuffer*): Zusicherung »0« nicht erfüllt.
> cc1d: d/dmd/func.c:472: virtual void FuncDeclaration::semantic3(Scope*): Zusicherung »0« nicht erfüllt.
> cc1d: d/dmd/mtype.c:566: virtual Expression* Type::getProperty(Loc, Identifier*): Zusicherung »deco« nicht erfüllt.
> cc1d: d/dmd/template.c:2229: TemplateDeclaration* TemplateInstance::findTemplateDeclaration(Scope*): Zusicherung »s->parent« nicht erfüllt.
> cc1d: d/dmd/template.c:628: void TemplateDeclaration::declareParameter(Scope*, TemplateParameter*, Object*): Zusicherung »0« nicht erfüllt.
> cc1d: d/dmd/toobj.c:274: virtual void ClassDeclaration::toObjFile(): Zusicherung »!scope« nicht erfüllt.
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (field_decl) in doFields, bei d/d-codegen.cc:2927
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (function_decl) in darrayVal, bei d/d-codegen.cc:1654
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (function_decl) in layout_decl, bei stor-layout.c:382
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' () in darrayVal, bei d/d-codegen.cc:1654
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' () in doFields, bei d/d-codegen.cc:2927
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (parm_decl) in darrayVal, bei d/d-codegen.cc:1654
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in darrayVal, bei d/d-codegen.cc:1654
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in doFields, bei d/d-codegen.cc:2927
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (result_decl) in layout_decl, bei stor-layout.c:382
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'd' (type_decl) in doFields, bei d/d-codegen.cc:2927
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in build_method_type_directly, bei tree.c:3919
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in build_pointer_type_for_mode, bei tree.c:3633
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in darrayVal, bei d/d-codegen.cc:1654
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in expand_expr_real, bei expr.c:7136
> interner Compiler-Fehler: Baumprüfung: Klasse t erwartet, haben 'x' (error_mark) in expand_return, bei stmt.c:3136
> interner Compiler-Fehler: Baumprüfung: rtl_expr erwartet, haben error_mark in expand_end_stmt_expr, bei stmt.c:2384
> interner Compiler-Fehler: Baumprüfung: rtl_expr erwartet, haben  in expand_end_stmt_expr, bei stmt.c:2384
> interner Compiler-Fehler: Baumprüfung: string_cst erwartet, haben  in check_operand_nalternatives, bei stmt.c:1906
> interner Compiler-Fehler: Baumprüfung: tree_list erwartet, haben constructor in expand_inline_function, bei integrate.c:704
> interner Compiler-Fehler: Baumprüfung: tree_list erwartet, haben  in initialize_argument_information, bei calls.c:1074
> interner Compiler-Fehler: in d_expand_expr, bei d/d-glue.cc:3727
> interner Compiler-Fehler: in emit_move_insn, bei expr.c:2830
> interner Compiler-Fehler: in expand_call, bei calls.c:2362
> interner Compiler-Fehler: in size_binop, bei fold-const.c:1601
> interner Compiler-Fehler: in store_constructor, bei expr.c:5252

Thomas.. what would it take to tie these ICE's to the test case that generates them?  Are they in the list of 501 or in addition to?

Thanks,
Brad

Brad Roberts schrieb am 2006-07-19:
> Thomas Kuehne wrote:

>> 501 regression between 0.18 and 0.19 were identified (see attachment).
>> 
>> Known internal compiler errors with messages:
>> cc1d: d/d-codegen.cc:2935: virtual void AggLayout::doFields(Array*, AggregateDeclaration*): Zusicherung »(__extension__ ({ const tree __t = (field_decl); if (tree_code_type[(int) (((enum tree_code) (__t)->common.code))] != ('d')) tree_class_check_failed (__t, ('d'), "d/d-codegen.cc", 2935, __FUNCTION__); __t; })->decl.mode) != VOIDmode« nicht erfüllt.
>> cc1d: d/dmd/attrib.c:913: virtual Array* ConditionalDeclaration::include(Scope*, ScopeDsymbol*): Zusicherung »condition« nicht erfüllt.
>> cc1d: d/dmd/expression.c:5751: virtual Expression* MinAssignExp::semantic(Scope*): Zusicherung »e2->type->isfloating()« nicht erfüllt.
>> cc1d: d/dmd/expression.c:728: virtual void Expression::toMangleBuffer(OutBuffer*): Zusicherung »0« nicht erfüllt.

<snip>

> Thomas.. what would it take to tie these ICE's to the test case that generates them?

1) download the log: http://dstress.kuehne.cn/raw_results/linux-amd64_gdc-0.19.log.gz

2) download the extractor (requires Perl):
http://dstress.kuehne.cn/message_tie.pl

3) tie messages to test cases:
gunzip < linux-amd64_gdc-0.19.log.gz | ./message_tie.pl "d/d-codegen[.]cc:2935"

#
# gdmd-0.19 -inline -fPIC -release  -od./obj -ofrun/new_11.d.exe run/new_11.d
# cc1d: d/d-codegen.cc:2935: virtual void AggLayout::doFields(Array*,
#  AggregateDeclaration*): Zusicherung »(__extension__ ({ const tree
#  __t = (field_decl); if (tree_code_type[(int) (((enum tree_code)
#  (__t)->common.code))] != ('d')) tree_class_check_failed (__t, ('d'),
#  "d/d-codegen.cc", 2935, __FUNCTION__); __t; })->decl.mode) !=
#  VOIDmode« nicht erfüllt.
#

> Are they in the list of 501 or in addition to?
Both lists are independent, though they might intersect.

Thomas