0000429: cse causes switch to be reported as non-switch

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000429

mercury

Bug

public

2017-01-19 18:47

2017-01-20 04:24

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000429: cse causes switch to be reported as non-switch

Description

The compiler reports for the given test case:

switch_scope.m:016: Error: the goal inside the require_complete_switch [Index]
switch_scope.m:016: scope is not a switch on `Index'.

The problem is more apparent from the HLDS dump. After pass 045-cse the predicate looks like:

switch_scope.clear(I, P0, P) :-
  require_complete_switch [Index] (
    ( % conjunction
      P0 = pair.(V_15 - V_14)
      ,
      ( % cannot_fail switch on `I'
        % I has functor switch_scope.first/0
        ( % conjunction
          V_12 = V_15
          ,
          Y = V_14
          ,
          V_12 = bool.yes
          ,
          V_13 = bool.no
          ,
          P = pair.(V_13 - Y)
        )
      ;
        % I has functor switch_scope.second/0
        ( % conjunction
          V_15 = X
          ,
          V_14 = V_10
          ,
          V_10 = bool.yes
          ,
          V_11 = bool.no
          ,
          P = pair.(X - V_11)
        )
      )
    )
  ).

Tags

No tags attached.

Attached Files

switch_scope.m (425 bytes) 2017-01-19 18:47

Relationships

Relationships

Notes

~0000938

zs (developer)

2017-01-20 04:24

Fix committed 2017 jan 20.

Notes

Date Modified	Username	Field	Change
Issue History
2017-01-19 18:47	wangp	New Issue
2017-01-19 18:47	wangp	File Added: switch_scope.m
2017-01-19 19:01	zs	Assigned To	=> zs
2017-01-19 19:01	zs	Status	new => assigned
2017-01-20 04:24	zs	Status	assigned => resolved
2017-01-20 04:24	zs	Resolution	open => fixed
2017-01-20 04:24	zs	Note Added: 0000938

Issue History