Apply suggestions from Copilot

Author: jeongsoolee09

cpp/common/src/codingstandards/cpp/rules/objectassignedtoanoverlappingobject/ObjectAssignedToAnOverlappingObject.qll

@@ -59,6 +59,7 @@ query predicate problems(
    */
 
   exists(Expr lhs, Expr rhs |
+    not isExcluded(assignExpr, getQuery()) and
     lhs.getType() instanceof Union and
     rhs.getType() instanceof Union and
     lhs = getAQualifier(assignExpr.getLValue()) and

cpp/misra/src/rules/RULE-8-18-1/ObjectAssignedToAnOverlappingObjectMisraCpp.ql

@@ -1,7 +1,7 @@
 /**
  * @id cpp/misra/object-assigned-to-an-overlapping-object-misra-cpp
  * @name RULE-8-18-1: A member of a union must not be copied to its another member
- * @description Copying a member of a union to another causes undefined behavior.
+ * @description Copying a member of a union to another member causes undefined behavior.
  * @kind problem
  * @precision high
  * @problem.severity error
@@ -16,7 +16,8 @@ import cpp
 import codingstandards.cpp.misra
 import codingstandards.cpp.rules.objectassignedtoanoverlappingobject.ObjectAssignedToAnOverlappingObject
 
-class ObjectAssignedToAnOverlappingObjectMisraCppQuery extends ObjectAssignedToAnOverlappingObjectSharedQuery {
+class ObjectAssignedToAnOverlappingObjectMisraCppQuery extends ObjectAssignedToAnOverlappingObjectSharedQuery
+{
   ObjectAssignedToAnOverlappingObjectMisraCppQuery() {
     this = Memory4Package::objectAssignedToAnOverlappingObjectMisraCppQuery()
   }

cpp/misra/src/rules/RULE-8-18-1/ObjectCopiedToAnOverlappingObjectMisraCpp.ql

@@ -1,6 +1,6 @@
 /**
  * @id cpp/misra/object-copied-to-an-overlapping-object-misra-cpp
- * @name RULE-8-18-1: An slice of an array must not be copied to an overlapping region of itself
+ * @name RULE-8-18-1: A slice of an array must not be copied to an overlapping region of itself
  * @description Copying a slice of an array to an overlapping region of the same array causes
  *              undefined behavior.
  * @kind problem

rule_packages/cpp/Memory4.json

@@ -7,7 +7,7 @@
       },
       "queries": [
         {
-            "description": "Copying a member of a union to another causes undefined behavior.",
+            "description": "Copying a member of a union to another member causes undefined behavior.",
             "kind": "problem",
             "name": "A member of a union must not be copied to its another member",
             "precision": "high",
@@ -22,7 +22,7 @@
         {
           "description": "Copying a slice of an array to an overlapping region of the same array causes undefined behavior.",
           "kind": "problem",
-          "name": "An slice of an array must not be copied to an overlapping region of itself",
+          "name": "A slice of an array must not be copied to an overlapping region of itself",
           "precision": "high",
           "severity": "error",
           "short_name": "ObjectCopiedToAnOverlappingObjectMisraCpp",