Displaying 2 results from an estimated 2 matches for "klee_check_divf".
2013 Aug 30
1
[LLVMdev] Are instr_iterators invalidated when function inlining is performed?
Hi,
I'm trying to write a small piece of code that inlines all calls to a
particular function. The codes is as follows
Function* klee_check_divF = module->getFunction("klee_div_zero_check");
assert(klee_check_divF != 0 && "Failed to find klee_div_zero_check function");
// Hack inline checks
for (Module::iterator f = module->begin(), fe = module->end(); f != fe; ++f) {
for (inst_iterator i=inst_...
2013 Sep 15
0
[LLVMdev] Are instr_iterators invalidated when function inlining is performed?
....com> wrote:
> On Fri, Aug 30, 2013 at 7:53 AM, Daniel Liew <daniel.liew at imperial.ac.uk> wrote:
>> Hi,
>>
>> I'm trying to write a small piece of code that inlines all calls to a
>> particular function. The codes is as follows
>>
>> Function* klee_check_divF = module->getFunction("klee_div_zero_check");
>> assert(klee_check_divF != 0 && "Failed to find klee_div_zero_check function");
>> // Hack inline checks
>> for (Module::iterator f = module->begin(), fe = module->end(); f != fe; ++f) {
>...