Mercury Bugs - mercury
View Issue Details
0000361mercuryBugpublic2014-09-15 14:592014-09-16 13:22
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000361: Compiler abort with loose determinism decl. and pragma loop_check
DescriptionThe attached program causes a compiler abort in both C backends.

Uncaught Mercury exception:
Software Error: ll_backend.code_gen: predicate `ll_backend.code_gen.generate_goal'/5: Unexpected: nondet model in det/semidet context
Stack dump not available in this grade.

Uncaught Mercury exception:
Software Error: ml_backend.ml_code_gen: predicate `ml_backend.ml_code_gen.ml_gen_maybe_convert_goal_code_model'/7: Unexpected: nondet in semi
Stack dump not available in this grade.

TagsNo tags attached.
Attached Files? bug361.m (793) 2014-09-15 14:59

2014-09-16 13:22   
Fix committed sep 16.

Issue History
2014-09-15 14:59juliensfNew Issue
2014-09-15 14:59juliensfFile Added: bug361.m
2014-09-16 11:22zsAssigned To => zs
2014-09-16 11:22zsStatusnew => assigned
2014-09-16 13:22zsNote Added: 0000788
2014-09-16 13:22zsStatusassigned => resolved
2014-09-16 13:22zsResolutionopen => fixed