<div dir="ltr"><div dir="auto">Thank you so much, Dr. Sven. </div><div>Your answer is exactly what I was looking for.</div><div><br></div><div>Regards,</div><div>Malhar</div><div class="gmail_extra"><br><div class="gmail_quote">On May 19, 2017 15:55, "Sven Verdoolaege" <<a href="mailto:skimo-cfe@kotnet.org" target="_blank">skimo-cfe@kotnet.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Fri, May 19, 2017 at 11:37:57AM +0530, 'Malhar Thakkar' via isl Development wrote:<br>
> Hello all,<br>
><br>
> I wish to run Clang Static Analyzer's RetainCountChecker.cpp on the ISL<br>
> codebase. While trying to test it on a single ISL file (isl_band.c), it<br>
> asks me to use quotes instead of angular brackets for various header files<br>
> which are in the ISL source directory.<br>
><br>
> In the $LLVM_BUILD/bin directory, I am running the following command<br>
> *./clang -cc1 -analyze -analyzer-checker=<a href="http://osx.cocoa.Re">osx.cocoa.Re</a><wbr>tainCount<br>
> ../../../isl-0.18/isl_band.c*<br>
><br>
> Also, to run this checker, I have added the following macros to *isl_band.c*<br>
> *#define __isl_take __attribute__((cf_consumed))*<br>
> *#define __isl_give __attribute__((cf_returns_reta<wbr>ined))*<br>
> *#define __isl_keep*<br>
><br>
> Replacing angular brackets with quotes on the entire codebase will be a<br>
> tedious task.<br>
><br>
> Could anyone please suggest me an easier way to run RetainCountChecker.cpp<br>
> on the entire ISL codebase?<br>
<br>
You are not going to find many experts on the Clang Static Analyzer here.<br>
AFAIU, you are not supposed to run the analyzer directly<br>
(unless you know how to set up the right compiler flags).<br>
According to a message of mine on 6 Jan 2017, this might work:<br>
<br>
scan-build -enable-checker osx.cocoa.RetainCount make CC="gcc" CFLAGS='-D__isl_give="__attrib<wbr>ute__((cf_returns_retained))" -D__isl_take="__attribute__((c<wbr>f_consumed))"'<br>
<br>
skimo<br>
</blockquote></div></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=6e4b3d3c-d316-4e1d-b184-f4219990d428"><font color="#ffffff" size="1">ᐧ</font></div>