Declared but never used variables in SIL output

[viper-admin]

Created by @mschwerhoff on 2014-01-24 12:41 Last updated on 2014-02-21 07:47

Translating the attached Chalice program results in the attached SIL program which declares but doesn't use several variables, e.g., $par$Testg$this$_3$.

---

Attachments:

• another_example.chalice
• test.chalice
• another_example.sil
• test_longer.chalice
• test.sil

[viper-admin]

@mschwerhoff commented on 2014-01-24 12:41

[viper-admin]

@mschwerhoff on 2014-01-24 12:41:

• changed attachment from (none) to test.sil

[viper-admin]

@mschwerhoff commented on 2014-01-24 12:42

The number of unused variables seems to increase when examples get longer, try test_longer.chalice.

[viper-admin]

@mschwerhoff on 2014-01-24 12:42:

• changed attachment from (none) to test_longer.chalice

[viper-admin]

@mschwerhoff commented on 2014-02-21 07:47

Another small example. The SIL translation of method Test.test declares an unused variable n$_1: Ref.

[viper-admin]

@mschwerhoff on 2014-02-21 07:47:

• changed attachment from (none) to another_example.sil