Would gatekeeper help review this patch?

https://bugs.open64.net/show_bug.cgi?id=764
Nystrom alias issue: Assertion failure "alloca with non-KIND_POINTER result
expected to have0 byte

ConstraintGraph::handleAlloca(WN *stmt)  assume stmt
assign allocated result direclty to a pointer type symbol, otherwise
allocated size is 0.

There two more cases not considered in this method.
1. statement can be STID or ISTORE to a struct's field, this field is a
pointer.
2. allocated result is converted and stored to long long integer.

Fix is
1. Extract field type as lhs type  when stmt has field id.
2. Allow LHS is not pointer but pointer mtype. In this case assume its
void*.


Regards
Shi Hui

Attachment: nystrom_alloca.patch
Description: Binary data

------------------------------------------------------------------------------
WhatsUp Gold - Download Free Network Management Software
The most intuitive, comprehensive, and cost-effective network 
management toolset available today.  Delivers lowest initial 
acquisition cost and overall TCO of any competing solution.
http://p.sf.net/sfu/whatsupgold-sd
_______________________________________________
Open64-devel mailing list
Open64-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open64-devel

Reply via email to