#1 Bug in SCOPE

None
closed
nobody
scope (1)
5
2013-04-15
2008-12-21
No

The followings are just for the information.

SCOPE has a simple but a substantial bug of the following;

=== Sample execution ===
REDUCE, 15-Sep-08 ...

1: load_package scope;

2: optimize z:=a,z:=-z;

z := a

3:

===

Optimized output should be

===
z := -a
===

Now,

===
2: optimize z:=a,z:=z;
===

can be

===
2: optimize z:=a,z:=1-1-z;
===

Both samples generate incorrect code.

Author of SCOPE, J.A. van Hulzen, may not be maintaining the SCOPE library.
Then I have to fix, probably.

Discussion

  • Rainer Schöpf

    Rainer Schöpf - 2013-04-15
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -13,6 +13,7 @@
     z := a
    
     3:
    +
     ===
    
     Optimized output should be
    
    • status: open --> accepted
    • Group: -->
     
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-15

    Fix committed.

     
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-15
    • labels: --> scope
    • status: accepted --> closed
     

Log in to post a comment.