no.099.mils

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

# >Number:         99
# >Category:       Mserver
# >Synopsis:       comparison of nil values is not reliable
# >Confidential:   no
# >Severity:       critical
# >Priority:       high
# >Responsible:    boncz
# >State:          open
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Mon Dec 15 11:22:32 1997
# >Originator:     windhouw
# >Organization:
# UvA
# >Release:        971007
# >Environment:
# 
# >Description:
# #You are system administrator (adm)!
# >PROC comp( any left, any right) : any {
# >  IF (left = right) {
# >    printf("left equals right\n");
# >  } ELSE {
# >    printf("left is not equal to right\n");
# >  }
# >  IF (left != right) {
# >    printf("left is not equal to right\n");
# >  } ELSE {
# >    printf("left equals right\n");
# >  }
# >}
# >comp(oid(nil),oid(nil));
# left equals right
# left is not equal to right
# >comp(oid(1),oid(nil));
# left is not equal to right
# left is not equal to right
# >comp(oid(1),oid(1));
# left equals right
# left equals right
# >comp(str(nil),str(nil));
# left equals right
# left is not equal to right
# >comp(str("a"),str(nil));
# left equals right
# left is not equal to right
# >comp(str("a"),str("a"));
# left equals right
# left equals right

setoid(oid(20000000));
PROC comp(any left, any right) : any {
  IF (left = right) {
    printf("left equals right\n");
  } ELSE {
    printf("left is not equal to right\n");
  }
  IF (left != right) {
    printf("left is not equal to right\n");
  } ELSE {
    printf("left equals right\n");
  }
}
comp(oid(nil),oid(nil));
comp(oid(1),oid(nil));
comp(oid(1),oid(1));
comp(str(nil),str(nil));
comp(str("a"),str(nil));
comp(str("a"),str("a"));
quit();