Closed michael-schwarz closed 1 year ago
This needs to be called before Cil.freshLabel can be used to obtain a label that is guaranteed to be unique within an already existing fundec (passed to populateLabelAlphaTable as an argument).
Cil.freshLabel
populateLabelAlphaTable
Needed to implement loop unrolling in Goblint (https://github.com/goblint/analyzer/pull/896).
This needs to be called before
Cil.freshLabelcan be used to obtain a label that is guaranteed to be unique within an already existing fundec (passed topopulateLabelAlphaTableas an argument).Needed to implement loop unrolling in Goblint (https://github.com/goblint/analyzer/pull/896).