Hi, Consider the following three lines from LLVM IR:
%6 = load i32* %x, align 4 %7 = getelementptr inbounds [10 x i32]* %n, i64 0, i64 2 store i32 %6, i32* %7, align 4 In above code, 'n' is an integer array. Can anyone please tell me that when the store instruction is processed in "executeInstruction" method then how can I extract the name and index of the array from '%7' that is passed as an argument. I have tried using 'getName()' method on the 'llvm::Value' object obtained using 'getOperand()' method on StoreInst to get the name of the array but it returns empty string. -- Thanks and Regards Sumit
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
