MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / getUndefs

Method getUndefs

ir/function.h:168–170  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

166
167 void addUndef(std::unique_ptr<UndefValue> &&c);
168 util::const_strip_unique_ptr<decltype(undefs)> getUndefs() const {
169 return undefs;
170 }
171
172 void addAggregate(std::unique_ptr<AggregateValue> &&a);
173

Callers 1

sym_exec_initFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected