zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Remove all compiler warnings #149

Closed acatton closed 3 years ago

acatton commented 3 years ago

Hi,

This pull request removes all warnings from zz when compiling. It does not change any logic in the code.

It also makes sure errors cannot be introduced. For example, value was renamed to _value because it was unused. But some commented out code refers to it as "value", which is defined in the previous for loop. By putting this loop into its ownscope, we ensure that anybody re-introducing this code would have to make sure to rename _value to value back.

aep commented 3 years ago

thank you.