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

Malhar Thakkar via cfe-dev cfe-dev at lists.llvm.org
Thu May 18 23:07:57 PDT 2017


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.

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
ᐧ
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20170519/8081de0b/attachment.html>


More information about the cfe-dev mailing list