RULE-11-9: Improve ternary test cases

This rule intends to prohibit the use of 0 within branches of
ternaries, where the ternary expression itself produces a pointer
expression because the other branch of the ternary is a pointer.

The previous test case didn't capture this behaviour, instead
looking for assignments within branches.

Author: lcartey

c/misra/test/rules/RULE-11-9/MacroNullNotUsedAsIntegerNullPointerConstant.expected

@@ -1,4 +1,4 @@
 | test.c:15:13:15:13 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:15:7:15:13 | ... == ... | Equality operator |
 | test.c:17:8:17:8 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:17:3:17:8 | ... = ... | Assignment to pointer |
-| test.c:25:20:25:20 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:25:3:25:35 | ... ? ... : ... | Ternary operator |
-| test.c:25:20:25:20 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:25:15:25:20 | ... = ... | Assignment to pointer |
+| test.c:23:13:23:13 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:23:3:23:13 | ... ? ... : ... | Ternary operator |
+| test.c:24:8:24:8 | 0 | $@ uses zero-value integer constant expression as null pointer constant. | test.c:24:3:24:13 | ... ? ... : ... | Ternary operator |

c/misra/test/rules/RULE-11-9/test.c

@@ -19,9 +19,12 @@ void *f1(void *p1, int p2) {
   p1 = NULL;      // COMPLIANT
   if (p2 == 0) {  // COMPLIANT
     return NULL;
-  }                                     // COMPLIANT
-  (p1) ? (p1 = NULL) : (p1 = NULL);     // COMPLIANT
-  (p2 > 0) ? (p1 = NULL) : (p1 = NULL); // COMPLIANT
-  (p2 > 0) ? (p1 = 0) : (p1 = NULL);    // NON_COMPLIANT
+  }
+  p2 ? p1 : 0;     // NON_COMPLIANT
+  p2 ? 0 : p1;     // NON_COMPLIANT
+  p2 ? (void*) 0 : p1;     // COMPLIANT
+  p2 ? p1 : (void*) 0;     // COMPLIANT
+  p2 ? p2 : 0;     // COMPLIANT - p2 is not a pointer type
+  p2 ? 0 : p2;     // COMPLIANT - p2 is not a pointer type
   return 0;                             // COMPLIANT
 }