<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 18, 2017 at 6:30 PM, Sven Verdoolaege <span dir="ltr"><<a href="mailto:skimo-cfe@kotnet.org" target="_blank">skimo-cfe@kotnet.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-">On Sat, Jul 15, 2017 at 01:01:08AM +0530, Malhar Thakkar wrote:<br>
> Also, I have a few queries directed to Dr. Alexandre and Dr. Sven.<br>
> I applied these trusted annotations to obj_free(), obj_cow() and obj_copy()<br>
> as they have a pattern (__isl.*free, __isl.*cow and __isl.*copy).<br>
><br>
> Do, functions of the type obj_alloc_* have the same pattern if at all they<br>
> do? Also, are there any other functions which require such annotations?<br>
<br>
</span>I'm not sure I understand your question.<br></blockquote><div>Do declarations of obj_alloc_* follow some kind of regular expression like in the case of obj_free(), obj_cow() and obj_copy() which begin with "__isl" and have the keyword free, cow and copy respectively? </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
For each object type, there should only be a single function<br>
that allocates such objects.  However, there may be several<br>
functions that store objects in other objects, which may<br>
also confuse the checker since the ownership of the contained<br>
object is transfered to the containing object. </blockquote><div>Yes, and I found obj_dup() to be such function. I'll have to check if other such functions follow any kind of regular expression. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
skimo<br>
</blockquote></div><br></div></div><div hspace="streak-pt-mark" style="max-height:1px"><img alt="" style="width:0px;max-height:0px;overflow:hidden" src="https://mailfoogae.appspot.com/t?sender=aY3MxM2IxMDMxQGlpdGguYWMuaW4%3D&type=zerocontent&guid=91b599b3-88fd-4e4a-a981-52405935feca"><font color="#ffffff" size="1">ᐧ</font></div>