Displaying 4 results from an estimated 4 matches for "mallocfunc".
2009 Sep 22
5
[LLVMdev] Verifier should not make any assumptions about calls to "malloc"
Hi Victor, this code from the verifier broke the Ada front-end build:
const Module* M = CI.getParent()->getParent()->getParent();
Constant *MallocFunc = M->getFunction("malloc");
if (CI.getOperand(0) == MallocFunc) {
const PointerType *PTy =
PointerType::getUnqual(Type::getInt8Ty(CI.getParent()->getContext()));
Assert1(CI.getType() == PTy, "Malloc call must return i8*", &CI);
}
I think it is compl...
2009 Sep 22
0
[LLVMdev] Verifier should not make any assumptions about calls to "malloc"
Duncan,
Thanks for brining the Ada issue to my attention.
On Sep 22, 2009, at 6:11 AM, Duncan Sands wrote:
> Hi Victor, this code from the verifier broke the Ada front-end build:
>
> const Module* M = CI.getParent()->getParent()->getParent();
> Constant *MallocFunc = M->getFunction("malloc");
>
> if (CI.getOperand(0) == MallocFunc) {
> const PointerType *PTy =
> PointerType::getUnqual(Type::getInt8Ty(CI.getParent()->getContext()));
> Assert1(CI.getType() == PTy, "Malloc call must return i8*", &CI);
> }
&...
2009 Sep 22
1
[LLVMdev] Verifier should not make any assumptions about calls to "malloc"
On Sep 22, 2009, at 11:23 AM, Victor Hernandez wrote:
> On Sep 22, 2009, at 6:11 AM, Duncan Sands wrote:
>
>> Hi Victor, this code from the verifier broke the Ada front-end build:
>>
>> const Module* M = CI.getParent()->getParent()->getParent();
>> Constant *MallocFunc = M->getFunction("malloc");
>>
>> if (CI.getOperand(0) == MallocFunc) {
>> const PointerType *PTy =
>> PointerType::getUnqual(Type::getInt8Ty(CI.getParent()->getContext
>> ()));
>> Assert1(CI.getType() == PTy, "Malloc call must return i8...
2009 Sep 22
0
[LLVMdev] Verifier should not make any assumptions about calls to "malloc"
On Sep 22, 2009, at 6:11 AM, Duncan Sands wrote:
> Hi Victor, this code from the verifier broke the Ada front-end build:
>
> const Module* M = CI.getParent()->getParent()->getParent();
> Constant *MallocFunc = M->getFunction("malloc");
>
> if (CI.getOperand(0) == MallocFunc) {
> const PointerType *PTy =
>
> PointerType::getUnqual(Type::getInt8Ty(CI.getParent()->getContext()));
> Assert1(CI.getType() == PTy, "Malloc call must return i8*", &CI);
&...