EssentialTypes: Add support for unary logical operations

These should return essentially boolean type

Author: lcartey

c/misra/src/codingstandards/c/misra/EssentialTypes.qll

@@ -179,6 +179,10 @@ class EssentialBinaryLogicalOperationExpr extends EssentialExpr, BinaryLogicalOp
   override Type getEssentialType() { result instanceof BoolType }
 }
 
+class EssentialUnaryLogicalOperationExpr extends EssentialExpr, UnaryLogicalOperation {
+  override Type getEssentialType() { result instanceof BoolType }
+}
+
 class EssentialEqualityOperationExpr extends EssentialExpr, EqualityOperation {
   override Type getEssentialType() { result instanceof BoolType }
 }

c/misra/test/c/misra/EssentialTypes.expected

@@ -38,3 +38,35 @@
 | test.c:26:3:26:3 | f | float | float | essentially Floating type |
 | test.c:27:3:27:5 | f32 | float32_t | float32_t | essentially Floating type |
 | test.c:28:3:28:6 | cf32 | float | float | essentially Floating type |
+| test.c:32:13:32:16 | 1 | bool | bool | essentially Boolean type |
+| test.c:32:13:32:16 | (bool)... | bool | bool | essentially Boolean type |
+| test.c:33:20:33:20 | 1 | signed char | signed char | essentially Signed type |
+| test.c:33:20:33:20 | (unsigned int)... | unsigned int | unsigned int | essentially Unsigned type |
+| test.c:34:23:34:23 | 1 | signed char | signed char | essentially Signed type |
+| test.c:34:23:34:23 | (unsigned short)... | unsigned short | unsigned short | essentially Unsigned type |
+| test.c:35:17:35:18 | 1 | signed char | signed char | essentially Signed type |
+| test.c:36:21:36:21 | 1 | signed char | signed char | essentially Signed type |
+| test.c:36:21:36:21 | (signed short)... | signed short | signed short | essentially Signed type |
+| test.c:38:3:38:4 | ! ... | bool | bool | essentially Boolean type |
+| test.c:38:4:38:4 | b | bool | bool | essentially Boolean type |
+| test.c:39:3:39:4 | ! ... | bool | bool | essentially Boolean type |
+| test.c:39:4:39:4 | u | unsigned int | unsigned int | essentially Unsigned type |
+| test.c:40:3:40:5 | ! ... | bool | bool | essentially Boolean type |
+| test.c:40:4:40:5 | us | unsigned short | unsigned short | essentially Unsigned type |
+| test.c:41:3:41:4 | ! ... | bool | bool | essentially Boolean type |
+| test.c:41:4:41:4 | s | signed int | signed int | essentially Signed type |
+| test.c:42:3:42:5 | ! ... | bool | bool | essentially Boolean type |
+| test.c:42:4:42:5 | ss | signed short | signed short | essentially Signed type |
+| test.c:44:3:44:4 | ~ ... | int | int | essentially Signed type |
+| test.c:44:4:44:4 | (int)... | int | int | essentially Signed type |
+| test.c:44:4:44:4 | b | bool | bool | essentially Boolean type |
+| test.c:45:3:45:4 | ~ ... | unsigned int | unsigned int | essentially Unsigned type |
+| test.c:45:4:45:4 | u | unsigned int | unsigned int | essentially Unsigned type |
+| test.c:46:3:46:5 | ~ ... | unsigned short | unsigned short | essentially Unsigned type |
+| test.c:46:4:46:5 | (int)... | int | int | essentially Signed type |
+| test.c:46:4:46:5 | us | unsigned short | unsigned short | essentially Unsigned type |
+| test.c:47:3:47:4 | ~ ... | signed int | signed int | essentially Signed type |
+| test.c:47:4:47:4 | s | signed int | signed int | essentially Signed type |
+| test.c:48:3:48:5 | ~ ... | int | int | essentially Signed type |
+| test.c:48:4:48:5 | (int)... | int | int | essentially Signed type |
+| test.c:48:4:48:5 | ss | signed short | signed short | essentially Signed type |

c/misra/test/c/misra/test.c

@@ -26,4 +26,24 @@ void testCategoriesForComplexTypes() {
   f;    // Should be essentially Floating type
   f32;  // Should be essentially Floating type
   cf32; // Should be essentially Floating type
+}
+
+void testUnary() {
+  _Bool b = true;
+  unsigned int u = 1;
+  unsigned short us = 1;
+  signed int s = 1;
+  signed short ss = 1;
+
+  !b;  // Should be boolean
+  !u;  // Should be boolean
+  !us; // Should be boolean
+  !s;  // Should be boolean
+  !ss; // Should be boolean
+
+  ~b;  // Should be essentially signed
+  ~u;  // Should be essentially unsigned
+  ~us; // Should be essentially unsigned
+  ~s;  // Should be essentially signed
+  ~ss; // Should be essentially signed
 }