[cfe-dev] Which Checker type to use?

[Sujit Kamthe]

Hi Anna,
Thanks for reply.
Yes I wanted to check just the types of LHS and RHS.
I implemented it using CastExpr.
I think your point is valid that I should not use path sensitive analysis just for comparing the types of RHS and LHS.
I will try to implement it using ASTVisitor.
Thanks for the help :)

Regards,
Sujit Kamthe
BuildBox|KPITCummins Infosystems Ltd|Extn:3102 |Mobile:7709076120

From: Anna Zaks [mailto:ganna at apple.com]
Sent: Saturday, December 08, 2012 3:00 AM
To: Sujit Kamthe
Cc: Clang Developers; Ted Kremenek; Jordan Rose
Subject: Re: [cfe-dev] Which Checker type to use?

Sujit,

Can you give us a bit more information about what you are trying to achieve? For example, it is not clear that you would need path sensitive analyses if you are just trying to compare the types of LHS and RHS expressions of an assignment.

Thanks,
Anna.

On Dec 4, 2012, at 7:59 PM, Sujit Kamthe <Sujit.Kamthe at kpitcummins.com<mailto:Sujit.Kamthe at kpitcummins.com>> wrote:


Hi,
I am implementing a static analyzer check where I want to compare data types of two variable on LHS and RHS of an expression.

e.g.
int x;
unsigned int y;
y=x; //Check data type of RHS and LHS

Please suggest which checker type to use.
I tried using bind and then type casted the LHS to TypedValueRegion, but I could not get the data type for RHS doing the same thing.
Please suggest.

Regards,
Sujit Kamthe

<image001.jpg>
Productivity & FE | Automotive and Engineering SBU | KPITCummins Infosystems Ltd|Board: +91 20 66525000 | Extn:3102 |Mobile:7709076120


This message contains information that may be privileged or confidential and is the property of the KPIT Cummins Infosystems Ltd. It is intended only for the person to whom it is addressed. If you are not the intended recipient, you are not authorized to read, print, retain copy, disseminate, distribute, or use this message or any part thereof. If you receive this message in error, please notify the sender immediately and delete all copies of this message. KPIT Cummins Infosystems Ltd. does not accept any liability for virus infected mails. _______________________________________________
cfe-dev mailing list
cfe-dev at cs.uiuc.edu<mailto:cfe-dev at cs.uiuc.edu>
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20121211/01df4944/attachment.html>