[cfe-dev] Running Clang Static Analyzer Checker on ISL Codebase

[Malhar Thakkar via cfe-dev]

Thank you Jonathan.

I added *-I/usr/local/isl/ -I/Users/malharthakkar/isl-0.18/* to the
aforementioned and it's working now.


Regards,
Malhar
ᐧ

On Fri, May 19, 2017 at 12:33 PM, Jonathan Coe <jonathanbcoe at gmail.com>
wrote:

>
>
> On 19 May 2017, at 07:07, Malhar Thakkar via cfe-dev <
> cfe-dev at lists.llvm.org> wrote:
>
> Hello all,
>
> I wish to run Clang Static Analyzer's RetainCountChecker.cpp on the ISL
> codebase. While trying to test it on a single ISL file (isl_band.c), it
> asks me to use quotes instead of angular brackets for various header files
> which are in the ISL source directory.
>
>
> I've found that adding include paths as system include paths solves this
> issue.
> For CMake, one uses include_directories (SYSTEM my include paths).
> I'm not sure what build system you are using but I'm sure a similar
> solution exists.
>
> In the $LLVM_BUILD/bin directory, I am running the following command
> *./clang -cc1 -analyze -analyzer-checker=osx.cocoa.RetainCount
> ../../../isl-0.18/isl_band.c*
>
> Also, to run this checker, I have added the following macros to
> *isl_band.c*
> *#define __isl_take __attribute__((cf_consumed))*
> *#define __isl_give __attribute__((cf_returns_retained))*
> *#define __isl_keep*
>
> Replacing angular brackets with quotes on the entire codebase will be a
> tedious task.
>
> Could anyone please suggest me an easier way to run RetainCountChecker.cpp
> on the entire ISL codebase?
>
> Thank you.
>
>
>
> Regards,
> Malhar Thakkar
> ᐧ
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20170519/81fa3845/attachment.html>