[Soot-list] Automatic type conversion from "int" to "byte" in Jimple

[priyanka singla]

Hi,
Following is my java code in which x,y, z are "*int"* variables. When i
convert it to Jimple via terminal using "-f J", the resulted Jimple code
has corresponding variables but of type "*byte*" . For y in the statement *y
= x+2, *a new variable is created and is of type *int*. So how can i know
where all y has been updated?
Java Code
==========
public class SimpleArithmeticTest {
      public static int main(){
int y = 2;
int x = 5;
y = x + 2;
return y;
}
}
Jimple Code
===========
public class SimpleArithmeticTest extends java.lang.Object
{

    public void <init>()
    {
        SimpleArithmeticTest r0;

        r0 := @this: SimpleArithmeticTest;
        specialinvoke r0.<java.lang.Object: void <init>()>();
        return;
    }

    public static int main()
    {
        byte b0, b1;
        int i2;

        b0 = 2;
        b1 = 5;
        i2 = b1 + 2;
        return i2;
    }
}

----------------

*thanks,Priyanka *
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20170120/a3f19fe1/attachment.html