search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Fix scope of enum definition in return type #113

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

Closes #112.

Just moves enterScope and a bunch of other things after doSpecList inside which the return type is handled. Apparently definitions inside that are still in the outer (global) scope according to the standard.

Also removes Cabs2cil.varSizeArrays, which was never added to, so it was always empty anyway.

This fixes parsing of curl and masscan.