Address feedback

Author: MichaelRFairhurst

cpp/misra/src/rules/RULE-8-0-1/MissingPrecedenceClarifyingParenthesis.ql

@@ -18,6 +18,17 @@ import cpp
 import codingstandards.cpp.misra
 import codingstandards.cpp.AlertReporting
 
+/**
+ * MISRA operator precedence levels are not an exact match with standard C++ operator precedence,
+ * and therefore defined in this class.
+ *
+ * For example, MISRA treats ternary, assigment, and throw operators as having separate precedence
+ * levels, while in C++17 they all have the same precedence. Additionally, MISRA treats all
+ * operators not in the list below as having the same precedence, while in C++17 some of the
+ * remaining operators (*x, x[], x++, ++x) have different precedences than others.
+ *
+ * This list is defined in the MISRA specification.
+ */
 class MisraPrecedenceExpr instanceof Expr {
   int precedence;
   string operator;

cpp/misra/test/rules/RULE-8-0-1/test.cpp

@@ -205,8 +205,8 @@ void f9() {
 }
 
 // Test macros
-#define UNSAFE_MACRO(x, y, z) x + y *z  // NON_COMPLIANT macro definition
-#define SAFE_MACRO(x, y, z) x + (y * z) // COMPLIANT macro definition
+#define UNSAFE_MACRO(x, y, z) x + y *z  // Non compliant at usage sites
+#define SAFE_MACRO(x, y, z) x + (y * z) // Compliant at usage sites
 
 void f10() {
   int l1 = 1, l2 = 2, l3 = 3;