Test: Do not process synthetic nodes

These represent implicit subprograms, such as the inequality operator,
so skip them as they are tested by the concrete equality opertator's
tests.

Author: leocreuse

src/test-skeleton.adb

@@ -1838,11 +1838,21 @@ package body Test.Skeleton is
 
                   ISub := ISub_Iter;
 
+                  --  Do not process a subprogram which:
+                  --  - Is abstract or null
+                  --  - Is overriden
+                  --  - Is synthetic, such as the inequality operator
+
                   if
                     Source_Present (ISub.Unit.Get_Filename)
                     and then Is_Callable_Subprogram (ISub)
                     and then not Is_Private (ISub)
                     and then not Is_Overridden (ISub, ISubs2)
+                    and then not (ISub.Kind in Ada_Synthetic_Subp_Decl)
+                    and then not (ISub.P_Subp_Spec_Or_Null.Is_Null)
+                    and then not
+                      (ISub.P_Subp_Spec_Or_Null.Kind
+                       in Ada_Synthetic_Binary_Spec)
                   then
 
                      --  We need to go to original declaration of the inherited
@@ -7827,6 +7837,12 @@ package body Test.Skeleton is
             return Over;
          end if;
 
+         --  Do not process synthetic decls, no stub are generated for them
+
+         if Decl.Kind in Ada_Synthetic_Subp_Decl then
+            return Over;
+         end if;
+
          --  Process simple cases for now. Dispatchings, renamings and parts of
          --  instances are not yet supported.