Mercury Bugs - mercury
View Issue Details
0000392mercuryBugpublic2015-08-17 14:132015-08-17 15:38
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000392: compiler abort with deforestation
DescriptionReproduceable 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)
TagsNo tags attached.
Attached Files? deforest_bug.m (750) 2015-08-17 14:13
https://bugs.mercurylang.org/file_download.php?file_id=249&type=bug

Notes
(0000846)
zs   
2015-08-17 15:38   
Fix committed 17 aug 2015.

Issue History
2015-08-17 14:13wangpNew Issue
2015-08-17 14:13wangpFile Added: deforest_bug.m
2015-08-17 14:55zsAssigned To => zs
2015-08-17 14:55zsStatusnew => assigned
2015-08-17 15:38zsNote Added: 0000846
2015-08-17 15:38zsStatusassigned => resolved
2015-08-17 15:38zsResolutionopen => fixed