Test ran at 2025-07-25 12:57:41.403840+00:00 SOLUTION: rewriters=23.0.0: Easy, yet advanced manipulation of Ada code Origin: commit 736dbf041188f3ed22423f91467df0d6358b5197 from https://github.com/TNO/Rewriters-Ada.git Properties: Author: Pierre van de Laar Description: Easy, yet advanced manipulation of Ada code License: BSD-3-Clause Maintainer: Pierre van de Laar Maintainers_Logins: pjljvandelaar Name: rewriters Tag: manipulation Tag: transformation Version: 23.0.0 Website: https://github.com/TNO/Rewriters-Ada Dependencies (direct): libadalang^23.0.0 rejuvenation^23.0.0 Dependencies (solution): gnat=15.1.2 (gnat_native) gnatcoll=23.0.0 gnatcoll_gmp=23.0.0 gnatcoll_iconv=23.0.0 langkit_support=23.0.0 libadalang=23.0.0 libgmp=6.3.0 libgpr=23.0.0 rejuvenation=23.0.0 xmlada=23.0.0 Dependencies (graph): gnatcoll=23.0.0 --> libgpr=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> libgmp=6.3.0 (*) gnatcoll_iconv=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) langkit_support=23.0.0 --> gnatcoll=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> langkit_support=23.0.0 (^23) libgpr=23.0.0 --> gnat=15.1.2 (gnat_native) (/=2020) libgpr=23.0.0 --> xmlada=23.0.0 (~23.0.0) rejuvenation=23.0.0 --> libadalang=23.0.0 (^23.0.0) rewriters=23.0.0 --> libadalang=23.0.0 (^23.0.0) rewriters=23.0.0 --> rejuvenation=23.0.0 (^23.0.0) xmlada=23.0.0 --> gnat=15.1.2 (gnat_native) (>=11) LOG: [alr test] Testing rewriters=23.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get rewriters=23.0.0 Note: Deploying rewriters=23.0.0... Note: Deploying libgpr=23.0.0... #=#=# ##O#-# ##O=# # #=#=-# # #=#=-# # #=#=- # # #=#=- # # Note: Deploying gnatcoll=23.0.0... #=#=# ##O#-# ##O=# # #=#=-# # #=#=-# # #=#=- # # #=#=- # # Note: Deploying gnatcoll_gmp=23.0.0... #=#=# ##O#-# ##O=# # #=#=-# # #=#=-# # #=#=- # # Note: Deploying gnatcoll_iconv=23.0.0... #=#=# ##O#-# ##O=# # #=#=-# # #=#=-# # Note: Deploying langkit_support=23.0.0... #=#=# ##O#-# ######################################################################## 100.0% Note: Deploying libadalang=23.0.0... #=#=# ##O#-# ######################################## 56.9% ######################################################################## 100.0% Note: Deploying rejuvenation=23.0.0... rewriters=23.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat 15.1.2 (new,gnat_native,indirect,binary) + gnatcoll 23.0.0 (new,indirect) + gnatcoll_gmp 23.0.0 (new,indirect) + gnatcoll_iconv 23.0.0 (new,indirect) + langkit_support 23.0.0 (new,indirect) + libadalang 23.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 23.0.0 (new,indirect) + rejuvenation 23.0.0 (new) + xmlada 23.0.0 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building rewriters=23.0.0/rewriters.gpr... Setup [mkdir] object directory for project XmlAda_Schema [mkdir] object directory for project GPR [mkdir] library directory for project GPR [mkdir] object directory for project GnatColl [mkdir] library directory for project GnatColl [mkdir] object directory for project GnatColl_GMP [mkdir] library directory for project GnatColl_GMP [mkdir] object directory for project GnatColl_Iconv [mkdir] library directory for project GnatColl_Iconv [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support [mkdir] object directory for project Libadalang [mkdir] library directory for project Libadalang [mkdir] object directory for project Rejuvenation [mkdir] library directory for project Rejuvenation [mkdir] object directory for project Rewriters [mkdir] library directory for project Rewriters Compile [Ada] rejuvenation-match_patterns.adb [Ada] rejuvenation-pretty_print.adb [Ada] string_sets_utils.adb [Ada] rejuvenation-indentation.adb [Ada] string_vectors_utils.adb [Ada] rejuvenation-finder.adb [Ada] rejuvenation-nested.adb [Ada] rejuvenation-string_utils.adb [Ada] rejuvenation-file_utils.adb rejuvenation-finder.adb:213:38: (style) redundant parentheses [-gnatyx] [Ada] rejuvenation-printer.adb [Ada] rejuvenation-node_locations.adb [Ada] string_maps.ads [Ada] rejuvenation-utils.adb [Ada] rejuvenation.ads [Ada] string_vectors.ads [Ada] string_sets.ads [Ada] rejuvenation-factory.adb [Ada] rejuvenation-replacer.adb [Ada] rejuvenation-navigation.adb [Ada] rejuvenation-text_rewrites.adb [Ada] rejuvenation-patterns.adb [Ada] rejuvenation-simple_factory.adb [Ada] rejuvenation-parameters.adb [Ada] rejuvenation-placeholders.adb [Ada] rejuvenation-find_and_replacer.adb rejuvenation-parameters.adb:11:15: (style) redundant parentheses [-gnatyz] rejuvenation-parameters.adb:12:16: (style) redundant parentheses [-gnatyz] rejuvenation-parameters.adb:34:15: (style) redundant parentheses [-gnatyz] rejuvenation-parameters.adb:35:16: (style) redundant parentheses [-gnatyz] [Ada] rejuvenation-environment_variables.adb [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-text.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-images.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-hashes.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-boxes.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-names.adb [Ada] langkit_support-types.ads [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-relative_get.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-packrat.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-generic_api.adb [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-names-maps.adb [Ada] langkit_support-array_utils.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-adalog-logic_var.adb [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gnatcoll-gmp-mpz_odd_p.c [C] gnatcoll-gmp-mpz_even_p.c [C] gnatcoll-gmp-mpz_sign.c [C] gmp_support.c [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-integers-misc.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] gnatcoll-gmp-integers-root_extraction.adb [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers-random.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-validators.adb [Ada] schema-decimal.adb [Ada] schema-readers.adb [Ada] schema-dom_readers.adb [Ada] schema-schema_readers.adb [Ada] schema-date_time.adb [Ada] schema-simple_types.adb [Ada] schema.adb [C] gpr_imports.c [Ada] gpr-util.adb [Ada] gpr.adb [Ada] gpr-ali.adb [Ada] gpr-sinput.adb [Ada] gpr-opt.ads [Ada] gpr-sdefault.adb gpr-sdefault.adb:29:06: warning: "System.OS_Constants" is an internal GNAT unit [-gnatwi] gpr-sdefault.adb:29:06: warning: use of this unit is non-portable and version-dependent [-gnatwi] [Ada] gpr-pp.adb [Ada] gpr-env.adb [Ada] gpr-part.adb [Ada] gpr-util-aux.adb [Ada] gpr-com.ads [Ada] gpr-erroutc.adb [Ada] gpr-debug.adb [Ada] gpr-attr.adb [Ada] gpr-osint.adb gpr-osint.adb:30:06: warning: "System.CRTL" is an internal GNAT unit [-gnatwi] gpr-osint.adb:30:06: warning: use of this unit is non-portable and version-dependent [-gnatwi] gpr-osint.adb:31:06: warning: "System.OS_Constants" is an internal GNAT unit [-gnatwi] gpr-osint.adb:31:06: warning: use of this unit is non-portable and version-dependent [-gnatwi] [Ada] gpr-names.adb [Ada] gpr-proc.adb [Ada] gpr-knowledge.adb [Ada] gpr-compilation-sync.adb [Ada] gpr-compilation-protocol.adb [Ada] gpr-strt.adb [Ada] gpr-tree.adb [Ada] gpr-script.adb [Ada] gpr-tempdir.adb [Ada] gpr-snames.adb [Ada] gpr-compilation-process-waiter.adb [Ada] gpr-conf.adb [Ada] gpr-dect.adb [Ada] gpr-nmsc.adb [Ada] gpr-compilation.adb [Ada] gpr-cset.adb [Ada] gpr-err.adb [Ada] gpr-output.adb [Ada] gpr-version.adb [Ada] gpr-ext.adb [Ada] gpr-attr-pm.adb [Ada] gpr-compilation-slave.adb [Ada] gpr-compilation-process.adb [Ada] gpr_build_util.adb [Ada] gpr-scans.adb [C] process-wrappers.c [C] libc-wrappers.c [C] terminals.c [C] separate_run_path_option.c [C] gnatcoll_support.c [C] getrss.c [C] link_max.c [C] set_std_prefix.c [C] run_path_option.c [C] objlist_file.c [C] update_path.c [C] executable_path.c [Ada] gnatcoll-os-libc.ads [Ada] gnatcoll-os-libc-dirent.ads [Ada] gnatcoll-os-libc-spawn.ads [Ada] gnatcoll-os-libc-stat.ads [Ada] gnatcoll-paragraph_filling-words.adb [Ada] gnatcoll-paragraph_filling-badnesses.adb [Ada] gnatcoll-paragraph_filling.adb [Ada] gnatcoll-os-fs.adb [Ada] gnatcoll-os-dir.adb [Ada] gnatcoll-os-process.adb [Ada] gnatcoll-os.ads [Ada] gnatcoll-os-stat.adb [Ada] gnatcoll-email-parser.adb [Ada] gnatcoll-geometry.adb [Ada] gnatcoll-vfs_utils.adb [Ada] gnatcoll-vfs.adb [Ada] gnatcoll-json.adb [Ada] gnatcoll-symbols.adb [Ada] gnatcoll-io-remote-windows.adb [Ada] gnatcoll-io-remote-unix.adb [Ada] gnatcoll-remote.ads [Ada] gnatcoll-opt_parse.adb [Ada] gnatcoll-memory.adb [Ada] gnatcoll-scripts-files.adb [Ada] gnatcoll-projects-normalize.adb [Ada] gnatcoll-format_columns_vertical.ads [Ada] gnatcoll-scripts-projects.adb [Ada] gnatcoll-file_paths.adb [Ada] gnatcoll-utils.adb [Ada] gnatcoll-pools.adb [Ada] gnatcoll-scripts-shell.adb [Ada] gnatcoll-tribooleans.adb [Ada] gnatcoll-path.adb [Ada] gnatcoll-strings.ads [Ada] gnatcoll-coders.adb [Ada] gnatcoll-io.adb [Ada] gnatcoll-refcount-weakref.adb [Ada] gnatcoll-projects-krunch.adb [Ada] gnatcoll-io-remote.adb [Ada] gnatcoll-storage_pools-alignment.adb [Ada] gnatcoll-email-utils.adb [Ada] gnatcoll-io-native.adb [Ada] gnatcoll-scripts.adb [Ada] gnatcoll-damerau_levenshtein_distance.ads [Ada] gnatcoll-json-utility.adb [Ada] gnatcoll.ads [Ada] gnatcoll-promises.adb [Ada] gnatcoll-templates.adb [Ada] gnatcoll-coders-streams.adb [Ada] gnatcoll-terminal.adb [Ada] gnatcoll-config.adb [Ada] gnatcoll-storage_pools.ads [Ada] gnatcoll-wstring_builders.adb [Ada] gnatcoll-remote-db.adb [Ada] gnatcoll-vfs_types.ads [Ada] gnatcoll-email-mailboxes.adb [Ada] gnatcoll-formatters.adb [Ada] gnatcoll-atomic.adb [Ada] gnatcoll-coders-base64.adb [Ada] gnatcoll-mmap.adb [Ada] gnatcoll-refcount.adb gnatcoll-refcount.ads:90:04: warning: in instantiation at gnatcoll-storage_pools-headers.adb:57 [enabled by default] gnatcoll-refcount.ads:90:04: warning: possible aliasing problem for type "Header_Access" [enabled by default] gnatcoll-refcount.ads:90:04: warning: use -fno-strict-aliasing switch for references [enabled by default] gnatcoll-refcount.ads:90:04: warning: or use "pragma No_Strict_Aliasing (Header_Access);" [enabled by default] [Ada] gnatcoll-projects-aux.adb [Ada] gnatcoll-scripts-impl.adb [Ada] gnatcoll-scripts-utils.adb [Ada] gnatcoll-locks.adb [Ada] gnatcoll-wstring_list_builders.adb [Ada] gnatcoll-boyer_moore.adb [Ada] gnatcoll-strings_impl.adb [Ada] gnatcoll-storage_pools-headers.adb [Ada] gnatcoll-asserts.adb [Ada] gnatcoll-string_list_builders.adb [Ada] gnatcoll-arg_lists.adb [Ada] gnatcoll-damerau_levenshtein_generic.adb [Ada] gnatcoll-projects.adb [Ada] gnatcoll-any_types.adb [Ada] gnatcoll-string_builders.adb [Ada] gnatcoll-email.adb [Ada] gnatcoll-traces.adb [Ada] gnatcoll-mmap-system__unix.adb [Ada] gnatcoll-plugins__unix.adb [Ada] gnatcoll-os-process_types__unix.adb [Ada] gnatcoll-os-constants__osx.ads [Ada] gnatcoll-os-dir_types__unix.ads [Ada] gnatcoll-os-libc_constants__osx.ads [C] libadalang-gdb.c [Ada] libadalang-c.adb [Ada] libadalang-lexer.adb [Ada] libadalang-implementation.adb [Ada] libadalang-unit_files.adb [Ada] libadalang-lexer_implementation.adb [Ada] libadalang.ads [Ada] libadalang-generic_api-introspection.ads [Ada] libadalang-env_hooks.adb [Ada] libadalang-iterators.adb [Ada] libadalang-rewriting.adb [Ada] libadalang-internal_default_provider.adb [Ada] libadalang-introspection.adb [Ada] libadalang-config_pragmas.adb [Ada] libadalang-helpers.adb [Ada] libadalang-auto_provider.adb [Ada] libadalang-expr_eval.adb [Ada] libadalang-parsers.adb [Ada] libadalang-generic_api.adb [Ada] libadalang-unparsing.adb [Ada] libadalang-pp_lexer.adb [Ada] libadalang-pp_impl.adb [Ada] libadalang-implementation-c-extensions.adb [Ada] libadalang-analysis.adb [Ada] libadalang-public_converters.adb [Ada] libadalang-config_pragmas_impl.adb [Ada] libadalang-implementation-c.adb [Ada] libadalang-implementation-extensions.adb [Ada] libadalang-lexer_state_machine.adb [Ada] libadalang-iterators-extensions.adb [Ada] libadalang-introspection_implementation.adb [Ada] libadalang-private_converters.ads [Ada] libadalang-project_provider.adb [Ada] libadalang-common.adb [Ada] libadalang-sources.adb [Ada] libadalang-debug.adb [Ada] libadalang-preprocessing.adb [Ada] libadalang-doc_utils.adb [Ada] predefined_rewriters_boolean_expression_simplify.adb [Ada] predefined_rewriters_append.adb [Ada] predefined_rewriters_declaration_simplify.adb [Ada] patchers.adb [Ada] predefined_rewriters_prefer_short_circuit.adb [Ada] mark_utils.adb [Ada] predefined_rewriters_case_expression_simplify.ads [Ada] intervals.ads [Ada] match_accepters_combine.ads [Ada] rewriters_find_and_replace.adb [Ada] predefined_rewriters_if_statement_distribution.ads [Ada] predefined_rewriters_not.adb [Ada] predefined_rewriters_operator_definition_equivalence.ads [Ada] match_accepters_marked.adb [Ada] post_processing_contexts_function_access.ads [Ada] post_processing_contexts_rewriter_find_and_replace.ads [Ada] predefined_rewriters_null_statement.ads [Ada] match_accepters_function_access.ads [Ada] predefined_rewriters_if_statement_simplify.ads [Ada] predefined_rewriters_boolean_expression_de_morgan.adb [Ada] predefined_rewriters_membership_test.adb [Ada] rewriters_vectors.ads [Ada] placeholder_relations.adb predefined_rewriters_membership_test.ads:32:07: (style) redundant parentheses [-gnatyz] predefined_rewriters_membership_test.ads:35:07: (style) redundant parentheses [-gnatyz] [Ada] match_accepters.ads [Ada] ada_node_interval.adb [Ada] rewriters_repeat.adb [Ada] predefined_rewriters_if_expression_simplify.ads [Ada] rewriters_sequence.adb [Ada] match_accepters_all.ads [Ada] predefined_rewriters_operator_definition_simplify.ads [Ada] predefined_rewriters_representation_clauses.adb [Ada] rewriters.ads [Ada] predefined_rewriters_minimal_parentheses.adb [Ada] predefined_rewriters_prefer_if_expression.adb [Ada] predefined_rewriters_prefer_quantified_expressions.adb [Ada] post_processing_contexts.ads [Ada] predefined_rewriters_if_expression_distribution.ads [Ada] predefined_rewriters_block_statement_simplify.ads [Ada] predefined_rewriters_case_statement_simplify.ads [Ada] predefined_patchers.ads [Ada] libadalang-rewriting_implementation.adb [Ada] libadalang-generic_impl.adb [Ada] libadalang-unparsing_implementation.adb [Ada] libadalang-generic_introspection.adb Build Libraries [gprlib] xmlada_schema.lexch [gprlib] gpr.lexch [archive] libxmlada_schema.a [index] libxmlada_schema.a [gprlib] gnatcoll.lexch [archive] libgpr.a [index] libgpr.a [gprlib] gnatcoll_gmp.lexch [archive] libgnatcoll.a [index] libgnatcoll.a [gprlib] gnatcoll_iconv.lexch [archive] libgnatcoll_gmp.a [archive] libgnatcoll_iconv.a [index] libgnatcoll_iconv.a [index] libgnatcoll_gmp.a [gprlib] langkit_support.lexch [bind SAL] langkit_support [Ada] b__langkit_support.adb [gprlib] adalang.lexch [objcopy] p__langkit_support_0.o [archive] liblangkit_support.a [index] liblangkit_support.a [gprlib] Rejuvenation.lexch [bind SAL] adalang [Ada] b__adalang.adb [objcopy] p__adalang_0.o [archive] libadalang.a [index] libadalang.a [gprlib] Rewriters.lexch [archive] libRejuvenation.a [index] libRejuvenation.a [archive] libRewriters.a [index] libRewriters.a Success: Build finished successfully in 1030.44 seconds. Found declared GPR file: rewriters.gpr [alr test] Test completed SUCCESSFULLY