[cdt-dev] CDT code analysis question!

["Figuer, Felipe A" <Felipe.A.Figuer@xxxxxxxxxx>]

Hello folks.

 

I am implementing some static rules with CDT.

 

I am right now starting the design of another one but before starting I would like to have your input on how better check this and feasibility.

 

What I want to check is if an _expression_ is signed or unsigned.

 

Is it something doable with CDT?

 

At the end I want to implement this rule: E_UNEG: an unsigned _expression_ shall not be compared for negativity

 

Thanks in advance and best regards from Mexico,

 

Felipe Antonio Martinez Figueroa.

+52 442 1030500 Ext.1249.

felipe.a.figuer@xxxxxxxxxx

Delphi Electronics & Safety

Software Development Tools & Expert Synergy User & Suggestions Committee Leader

Queretaro Technical Center.

Circuito Palma Cocotera No. 2059.

Fraccionamiento Palmares.

Queretaro, Qro. CP 76127

Mexico.

****************************************************************************************

Note:  If the reader of this message is not the intended recipient, or an employee or agent responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please notify us immediately by replying to the message and deleting it from your computer. Thank you. 

****************************************************************************************