search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Parser bug on field names #5

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

The parser appears to have a regression where the name of a field is specified incorrectly.

Failing test is: tesla/test/Parsing/field-argument.c

Baltoli commented 7 years ago

The problem here is that even when a field of a struct is being passed to a function, Clang will optimise (?) by just passing the whole struct by value. This means that we enter the branch of ParseArg where we look at passing structs by value, rather than skipping it because we have a single param.

Baltoli commented 7 years ago

Fixed in cadets/tesla-static-analysis#4