132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
-
+
-
+
|
optional< Z3Val > BuildZ3Op( Builder& b, const T& instr )
{
return nullopt;
}
optional< Z3Val > BuildZ3Op( Builder& b, const Load& instr )
{
return LoadFromPointer( b, instr.ptr(), instr.type() );
return LoadFromAddress( b, instr.addr(), instr.type() );
}
optional< Z3Val > BuildZ3Op( Builder& b, const Store& instr )
{
StoreToPointer( b, instr.ptr(), instr.val() );
StoreToAddress( b, instr.addr(), instr.val() );
return nullopt;
}
// Implemented in call.cpp
extern optional< Z3Val > BuildZ3Op( Builder& b, const Call& instr );
optional< Z3Val > BuildZ3Op( Builder& b, const CreateTemporary& instr )
|