equality_while_check.ast

一个编译器修改的例子

var z: int;
	x: int;

function main(argv: array of string): int is
var g: real;
	h: int;
	i: bool;
	j: char;
	a: string;
	y: int;
	w: int;

begin
	while (w < 10) do
		begin
			w := w + 1;
			
			g:=0.1;
			(g<=1.0);
			i:=(g<=2.0);
			i:=(1.0<=g);
			h:=3;
			(h<=4);
			i:=(h<=5);
			i:=(5<=h);
			j:='a';
			(j<='b');
			i:=(j<='b');
			i:=('b'<=j);
		end
		
		while (y < 10) do
		begin
			y := y + 1;
			
			g:=0.1;
			(g<1.0);
			i:=(g<2.0);
			i:=(1.0<g);
			h:=3;
			(h<4);
			i:=(h<5);
			i:=(5<h);
			j:='a';
			(j<'b');
			i:=(j<'b');
			i:=('b'<j);
		end
		
		while (z < 10) do
		begin
			while (w < 10) do
				begin
					x:=y;
					y:=z;
					w := w + 1;
					
					g:=0.1;
					(g>1.0);
					i:=(g>2.0);
					i:=(1.0>g);
					h:=3;
					(h>4);
					i:=(h>5);
					i:=(5>h);
					j:='a';
					(j>'b');
					i:=(j>'b');
					i:=('b'>j);
				end
			z := z + 1;
			
			g:=0.1;
			(g>=1.0);
			i:=(g>=2.0);
			i:=(1.0>=g);
			h:=3;
			(h>=4);
			i:=(h>=5);
			i:=(5>=h);
			j:='a';
			(j>='b');
			i:=(j>='b');
			i:=('b'>=j);
		end

	g:=0.1;
	(g=1.0);
	i:=(g=2.0);
	i:=(1.0=g);
	h:=3;
	(h=4);
	i:=(h=5);
	i:=(5=h);
	j:='a';
	(j='b');
	i:=(j='b');
	i:=('b'=j);
	a:="abcd";
	(a="dcba");
	i:=(a="abcd");
	i:=("abcd"=a);
		
end