no.062.mils

一个内存数据库的源代码这是服务器端还有客户端

# >Number:         62
# >Category:       MIL
# >Synopsis:       Handling of nested arithmetic expressions is inconsistent
# >Confidential:   no
# >Severity:       critical
# >Priority:       high
# >Responsible:    mk
# >State:          feedback
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Fri Oct 24 14:09:23 1997
# >Originator:     mk
# >Organization:
# >Release:        971007
# >Environment:
# 
# >Description:
# Handlin>t:= new(int,int);
# >t.insert(0,0);
# >t.insert(1+1,0);
# >t.insert(-1,-0);
# >print(t);
# #-----------------#
# # int   | tmp_32  #
# #-----------------#
# [ 0,      0       ]
# [ 2,      0       ]
# [ -1,     0       ]
# ># alles zover is goed
# >t.insert(-1+1,0);
# >t.insert(-1-1,0);
# !ERROR: in syntax at "t.insert(-1-1,0);"
# !                                      ^
# >t.insert(-1 -1, 0);
# !ERROR: in syntax at "t.insert(-1 -1, 0);"
# !                                        ^
# >#not what is expected from nested expression
# >t.print;
# #-----------------#
# # int   | tmp_32  #
# #-----------------#
# [ 0,      0       ]
# [ 2,      0       ]
# [ -1,     0       ]
# [ 0,      0       ]
# >t.insert(0-1+ -1, 0);
# !ERROR: in syntax at "t.insert(0-1+ -1, 0);"
# 
# This is not what a user would expect

setoid(oid(20000000));
var t:= new(int,int);
t.insert(0,0);
t.insert(1+1,0);
t.insert(-1,-0);
t.insert(0,0);
t.insert(-1+1,0);
print(t);
# alles zover is goed
t.insert(1-1,0);
t.insert(1 -1,1);
t.insert(1- 1,2);
t.insert(1 - 1,3);
t.insert(-1-1,0);
t.insert(-1 -1, 1);
t.insert(-1- 1, 2);
t.insert(-1 - 1, 3);
#not what is expected from nested expression
t.print();
var x:=(0-1+ -1);
if (x = 0) {
	print("Error in nested arithmetic expression");
}
t.insert(0-1+ -1, 0);
t.print();
quit();