Fix #13875 (Document and rewrite cstyleCast) [ci skip]

Author: danmar

man/checkers/cstyleCast.md

@@ -0,0 +1,66 @@
+
+# cstyleCast
+
+Category: Type Safety
+Severity: Style
+Language: C++, not applicable for C code
+
+## Motivation
+
+Casts can be dangerous:
+ * there can be unintentional loss of precision
+ * there can be unintentional loss of sign
+ * there can be unintentional loss of constness
+ * there can be invalid type conversions
+
+## Philosophy
+
+This checker is not about readability. It is about safety.
+
+We only want to warn if there are possible safety issues.
+
+## Other tools / complements
+
+Misra C 11.8 is violated if there is "loss of constness"
+
+Misra C++ 8.2.2 is more pedantic than this checker and warns about all C style casts.
+
+Warnings about "loss of constness" may be written by compilers (gcc/clang reports Wcast-qual).
+
+## Example
+
+### Compliant C style cast
+
+The goal is to not warn about "safe" and/or "intentional" casts. For example:
+```
+int *p = (int*)0;
+```
+Replacing the C style cast with a corresponding C++ cast would not make the code safer.
+
+### Non compliant
+
+A cast from a base class pointer to a derived class pointer is potentially unsafe:
+```
+Derived *p = (Derived*)base;
+```
+If it can be determined that `base` points at a Derived object the cast is safe and then no warning should be reported.
+But otherwise a `dynamic_cast` is safer.
+
+## How to fix
+
+You can use the C++ casts `const_cast`, `dynamic_cast`, `reinterpret_cast`, `static_cast` to fix warnings.
+
+Before:
+```
+Derived *p = (Derived*)base;
+```
+
+After:
+```
+Derived *p = dynamic_cast<Derived*>(base);
+```
+
+## Enable
+
+--enable=style
+