tst4005.mal

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

# bug discovered in SQL, alias removal does not handle arguments properly
function getz(p:int):int;
    x := nil:int;
    V4 := p;
    V6 := calc.sht(10);
    V9 := calc.int(V6);
    V11 := calc.>(V4,V9);
barrier V12 := V11;
    V13 := p;
    V15 := calc.int(2);
    V22 := calc.*(V13,V15);
    V24 := calc.int(V22);
    x := V24;
exit V12;
barrier V27 := calc.not(V11);
    V28 := p;
    x := V28;
exit V27;
    V30 := x;
    return V31 := V30;
end getz;
#optimizer.costModel("user","getz");
#optimizer.coercions("user","getz");
#optimizer.emptySet("user","getz");
#optimizer.modes("user","getz");
optimizer.aliases("user","getz");
#optimizer.commonTerms("user","getz");
#optimizer.accumulators("user","getz");
#optimizer.joinPath("user","getz");
#optimizer.deadcode("user","getz");
#optimizer.reduce("user","getz");
#optimizer.garbageCollector("user","getz");
mdb.list("user","getz");