0000392: compiler abort with deforestation

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000392

mercury

Bug

public

2015-08-17 14:13

2015-08-17 15:38

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000392: compiler abort with deforestation

Description

Reproduceable with 14.01 and master.

% mmc -O0 --deforestation -C deforest_bug.m

Uncaught Mercury exception:
Software Error: ll_backend.code_gen: predicate `ll_backend.code_gen.generate_goal'/7: Unexpected: nondet model in det/semidet context
Stack dump follows:
   0 pred exception.throw/1-0 (erroneous) (exception.m:289)
   1 pred require.error/1-0 (erroneous) (require.m:172)
   2 pred require.unexpected/3-0 (erroneous) (require.m:210)
   3 pred ll_backend.code_gen.generate_goal/7-0 (det) (code_gen.m:123)
   4 pred ll_backend.proc_gen.generate_category_code/11-0 (det) (proc_gen.m:786)
   5 pred ll_backend.proc_gen.generate_proc_code/9-0 (det) (proc_gen.m:405)
   6 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_for_proc/12-0 (det) (mercury_compile_llds_back_end.m:396)
   7 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_for_pred/11-0 (det) (mercury_compile_llds_back_end.m:296)
   8 3* pred top_level.mercury_compile_llds_back_end.llds_backend_pass_by_preds_loop_over_preds/11-0 (det) (mercury_compile_llds_back_end.m:264 and others)
  11 pred top_level.mercury_compile_llds_back_end.llds_backend_pass_by_preds/7-0 (det) (mercury_compile_llds_back_end.m:211)
  12 pred top_level.mercury_compile_llds_back_end.llds_backend_pass/8-0 (det) (mercury_compile_llds_back_end.m:138)
  13 pred top_level.mercury_compile.mercury_compile_after_front_end/11-0 (det) (mercury_compile.m:1706)
  14 pred top_level.mercury_compile.mercury_compile/11-0 (det) (mercury_compile.m:1537)
  15 pred top_level.mercury_compile.compile/13-0 (det) (mercury_compile.m:1462)
  16 pred list.map_foldl2/7-2 (det) (list.m:2835)
  17 pred top_level.mercury_compile.compile_all_submodules/13-0 (det) (mercury_compile.m:1281)
  18 pred top_level.mercury_compile.process_module_2/9-0 (det) (mercury_compile.m:1254)
  19 pred top_level.mercury_compile.process_module/7-0 (det) (mercury_compile.m:1144)
  20 pred top_level.mercury_compile.process_arg_2/7-0 (det) (mercury_compile.m:850)
  21 pred top_level.mercury_compile.process_arg_build/9-0 (det) (mercury_compile.m:812)
  22 pred make.util.build_with_module_options_args_invoked/13-0 (det) (make.util.m:1064)
  23 pred make.util.build_with_module_options_args/12-0 (det) (make.util.m:1016)
  24 pred top_level.mercury_compile.process_arg/9-0 (det) (mercury_compile.m:785)
  25 pred top_level.mercury_compile.process_arg_list/11-0 (det) (mercury_compile.m:756)
  26 pred top_level.mercury_compile.process_args/9-0 (det) (mercury_compile.m:707)
  27 pred top_level.mercury_compile.process_all_args/9-0 (det) (mercury_compile.m:613)
  28 pred top_level.mercury_compile.main_after_setup/8-0 (det) (mercury_compile.m:514)
  29 pred top_level.mercury_compile.real_main_after_expansion/3-0 (det) (mercury_compile.m:341)
  30 pred top_level.mercury_compile.real_main/2-0 (det) (mercury_compile.m:126)
  31 pred top_level.main/2-0 (det) (top_level.m:56)

Date Modified	Username	Field	Change
Issue History
2015-08-17 14:13	wangp	New Issue
2015-08-17 14:13	wangp	File Added: deforest_bug.m
2015-08-17 14:55	zs	Assigned To	=> zs
2015-08-17 14:55	zs	Status	new => assigned
2015-08-17 15:38	zs	Note Added: 0000846
2015-08-17 15:38	zs	Status	assigned => resolved
2015-08-17 15:38	zs	Resolution	open => fixed

Relationships