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

Method getTypeConstraints

ir/instr.cpp:101–104  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

99namespace IR {
100
101expr Instr::getTypeConstraints() const {
102 UNREACHABLE();
103 return {};
104}
105
106bool Instr::isTerminator() const {
107 return false;

Callers

nothing calls this directly

Calls 15

enforceStructTypeMethod · 0.80
getAsStructTypeMethod · 0.80
isPaddingMethod · 0.80
enforceIntTypeMethod · 0.80
sizeVarMethod · 0.80
uremMethod · 0.80
enforceVectorTypeMethod · 0.80

Tested by

no test coverage detected