Checks: Added new MISRA04_11.5: A cast shall not be performed that removes any const or volatile qualification from the type addressed by a pointer [autosync]

Author: github-actions[bot]

CodeCheck/Published Standards/AUTOSAR/A5-2-3/check.upy

@@ -12,7 +12,7 @@ ERR3 = 'Cast removed _Atomic qualification from %1'
 
 
 def ids():
-    return ('MISRA08_5-2-5', 'MISRA12_11.8', 'A5-2-3', 'CPP_T021', 'MISRA23_8.2.3', 'MISRA23_11.8', 'MISRA25_11.8')
+    return ('MISRA08_5-2-5', 'MISRA12_11.8', 'A5-2-3', 'CPP_T021', 'MISRA23_8.2.3', 'MISRA23_11.8', 'MISRA25_11.8', 'MISRA04_11.5')
 
 
 def name(id):
@@ -31,6 +31,8 @@ A cast shall not remove any const or volatile qualification from the type of a p
 11.8 A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer',
         'MISRA25_11.8': 'Published Standards/MISRA C 2025/\
 11.8 A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer',
+        'MISRA04_11.5': 'Published Standards/MISRA-C 2004/\
+11.5 A cast shall not be performed that removes any const or volatile qualification from the type addressed by a pointer',
     }[id]
 
 
@@ -84,6 +86,12 @@ def tags(id):
             'Category: Required',
             'Types',
         ],
+        'MISRA04_11.5': [
+            'Language: C',
+            'Standard: MISRA C 2004',
+            'Category: Required',
+            'Types',
+        ],
     }.get(id)
 
 
@@ -342,6 +350,34 @@ int main( void )
 
 <p><b>See also</b></p>
 <p>Rule 11.3, Rule 11.10</p>''',
+
+        'MISRA04_11.5': '''\
+<p><b>Title</b></p>
+<p>A cast shall not be performed that removes any const or volatile
+qualification from the type addressed by a pointer.</p>
+
+<p><b>Rationale</b></p>
+<p>Any attempt to remove the qualification associated with the addressed type by
+using casting is a violation of the principle of type qualification. Notice that
+the qualification referred to here is not the same as any qualification that may
+be applied to the pointer itself.</p>
+
+<p><b>Example</b></p>
+<pre><code language="C++">         uint16_t          x;
+         uint16_t * const  cpi = &x;   /* const pointer               */
+         uint16_t * const *pcpi;       /* pointer to const pointer    */
+         uint16_t *       *ppi;
+   const uint16_t         *pci;        /* pointer to const            */
+volatile uint16_t         *pvi;        /* pointer to volatile         */
+         uint16_t         *pi;
+
+pi = cpi;                              /* Compliant - no conversion
+                                                   no cast required   */
+
+pi  = (uint16_t *)pci;                 /* Not compliant               */
+pi  = (uint16_t *)pvi;                 /* Not compliant               */
+ppi = (uint16_t * *)pcpi;              /* Not compliant               */
+</code></pre>''',
     }[id]