|
|
|---|
|
|
|
|---|
A utility to create a globally fresh C identifier.
This utility generates fresh new identifiers using a base identifier and adding a numeric suffix. It is similar to ACL2::numbered-names, but operating over C ASTs instead of the ACL2 world.
Fresh identifiers are created with respect to a "blacklist" representing identifiers in use. A blacklist may be obtained using the collect-idents utility.