Skip to content

--export-file-local-symbols should also mangle static variables #5392

Closed
@karkhaz

Description

@karkhaz

Currently it only mangles static functions.

There is a workaround meanwhile, as long as we can change the file where the static variable is defined. Just write an accessor function (doesn't need to be static) that returns the static variable's value (for reading) or a pointer to it (for mutating). So this isn't a such a high-priority request.

Metadata

Metadata

Labels

awsBugs or features of importance to AWS CBMC usersaws-mediumnew feature

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions