<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
{font-family:"Trebuchet MS";
panose-1:2 11 6 3 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Balloon Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Trebuchet MS","sans-serif";
color:#17365D;
text-shadow:none;
font-weight:normal;
font-style:normal;}
span.BalloonTextChar
{mso-style-name:"Balloon Text Char";
mso-style-priority:99;
mso-style-link:"Balloon Text";
font-family:"Tahoma","sans-serif";}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="2050" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">Hi,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">I am implementing a static analyzer check where I want to compare data types of two variable on LHS and RHS of an expression.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">e.g.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-indent:.5in"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">int x;<o:p></o:p></span></p>
<p class="MsoNormal" style="text-indent:.5in"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">unsigned int y;<o:p></o:p></span></p>
<p class="MsoNormal" style="text-indent:.5in"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">y=x; //Check data type of RHS and LHS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">Please suggest which checker type to use.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D">Please suggest.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Trebuchet MS","sans-serif";color:#17365D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Courier New";color:#1F497D">Regards,
</span><span style="font-family:"Courier New";color:#1F497D"><o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Courier New";color:#548DD4">Sujit Kamthe<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Courier New";color:#548DD4"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Courier New";color:#548DD4"><img width="100" height="18" id="Picture_x0020_1" src="cid:image001.jpg@01CDD2CA.FDF2FFC0" alt="buildbox_logo"></span></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;color:#595959">Productivity & FE |</span><span style="font-size:8.0pt;color:#76923C">
</span><span style="font-size:8.0pt;color:#595959">Automotive and Engineering SBU | KPITCummins Infosystems Ltd|Board: +91 20 66525000 | Extn:3102 |Mobile:7709076120 </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<br clear=all> 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.
</body>
</html>