Merge branch 'topic/synth_op_skip' into 'master'

Test: Do not process synthetic nodes See merge request eng/ide/libadalang-tools!293
AdaCore · Jan 7, 2025 · f86c8e2 · f86c8e2
2 parents 139f784 + 854eb7d
commit f86c8e2
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/test-skeleton.adb b/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.