[cfe-dev] How can I get the analysis information of UnaryOperator in Clang Static Analyzer

[Arthur Yoo]

Hi Jordan,

Thank you very much! :-)


2013/9/28 Jordan Rose <jordan_rose at apple.com>

> Fixed in r191532.
>
> Jordan
>
>
> On Sep 24, 2013, at 9:37 , Jordan Rose <jordan_rose at apple.com> wrote:
>
> Hi, Arthur. Looks like we're forgetting in Core to give checkers a chance
> for some of the unary operators. I'll see if I can get to that soon;
> alternately, patches welcome!
>
> Jordan
>
>
> On Sep 24, 2013, at 1:15 , Arthur Yoo <phjy007 at gmail.com> wrote:
>
> Hi all,
>
> It seems that the Clang Static Analyzer may miss the analysis information
> of UnaryOperator. For example:
>
> void func(int s) {
>
>     s++;
>
>     ++s;
>
> }
>
> The example may be quite ridiculous…
>
> My checker contains a method: *void checkPostStmt(const Stmt *DS,
> CheckerContext &C).*
>
> I thought that it can capture any kind of Stmt.  Since UnaryOperator is a
> subclass of Expr and Expr is a subclass of Stmt, I thought my checker can
> give me the analysis information of "s++" and "++s". However, it returned
> nothing.
>
> What' more, I have tried to add another checkPostStmt() method in my
> checker. The declaration
>
> of this method is *void checkPostStmt(const UnaryOperator *Op,
> CheckerContext &C)*. The result is same with the previous one, it
> returned nothing.
>
> In fact, I want to use Clang Static Analyzer to capture all kinds of
> UnaryOperator, including 's++/++s/s--/--'(IncrementOp/DecrementOp).
> *p(pointer dereference) and so on. So how can I get the analysis
> information of UnaryOperator in Clang Static Analyzer?
>
> Thanks a lot.
>
>
> --
> Best regards,
> Arthur Yoo
>  _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
>
>


-- 
Best regards,
岳佳圆 | Yue Jiayuan | Arthur Yoo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130928/cfa78118/attachment.html>