no.024.mils

来自「一个内存数据库的源代码这是服务器端还有客户端」· MILS 代码 · 共 50 行

# >Number:         24
# >Category:       MIL
# >Synopsis:       Assignment in proc
# >Confidential:   no
# >Severity:       serious
# >Priority:       high
# >Responsible:    boncz
# >State:          closed
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Sun Aug 31 09:45:04 1997
# >Originator:     mk
# >Organization:
# >Release:        970101
# >Environment:
# SGI
# >Description:
# #SCRIPT
# > b:= new(int,int);
# > proc error1(B) : void {
# >         B.insert(1,2);
# >         B.insert(2,3);
# >         B:= B.join(B);
# >         print(B);
# > }
# > error1(b);
# #-----------------#
# # h     | t       #
# #-----------------#
# [ 1,      3       ]
# > print(b);
# #-----------------#
# # h     | t       #
# #-----------------#
# [ 1,      2       ]
# [ 2,      3       ]
# 
# The semantics of B is unclear within proc

var b:= new(int,int);
proc error1(bat B) : void {
        B.insert(1,2);
        B.insert(2,3);
        B:= B.join(B);
        print(B);
}
error1(b);
print(b);
quit();