Hi Luc, On 28 February 2017 at 17:03, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Tue, Feb 28, 2017 at 4:09 PM, Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: >> There is indeed some problems regarding this, we looked a bit at this >> some weeks ago. However I firmly believe that the information about >> the type belong to the operations and not the values. > I am trying to work out how a value pseudo correct type can be determined when the pseudo is a function call argument. Would appreciate any pointers on this. The current implementation of pseudo_to_value() uses the function call instruction which is incorrect. Thanks and Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
