.NAME cast and const or volatile qualification

.DESCRIPTION
A cast shall not remove any const or volatile 
qualification from the type of a pointer or reference. 

.COMMENT V7.0

.SEVERITY Required

.COMMENT
Please refer to the MISRA C++:2008 document for further details (www.misra-cpp.com)

.COMMAND tcl

.CODE

::logiscope::include -once common utilities.tcl

proc compute {standardName tree} {
  variable CurrentParameterList
  # Check all ... nodes
  utilities::filterTree $tree [list [namespace current]::check]
}

proc check { node } {
	if { [::utilities::isTreeOperator $node const_cast] } {
	  ::logiscope::addViolation $node
	}
	return 1
}
