On Wed, Jul 29, 2020 at 7:12 AM Richard W.M. Jones <rjo...@redhat.com> wrote: > On Tue, Jul 28, 2020 at 08:58:22PM -0600, Jeff Law wrote: > > You might try without LTO. I'm just shooting in the dark, but LTO does > > have a > > significant impact on how we generate debuginfo as well as impacting the > > structure of the resultant debug info. > > > > While I haven't seen anything like what you've shown it can't hurt to at > > least > > see if LTO is playing a role here. > > I just started a new thread without seeing this one. We have a > similar problem for OCaml code which won't be LTO related: > > https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/5GDU2TDF7UKO73UFAV67IKQHDOBHHJYS/
Well, alt-ergo is OCaml code. As I pointed out in the initial email, the ocaml package had not yet been rebuilt during the mass rebuild, so the problem is not that the OCaml compiler got built with LTO. I did an alt-ergo build with strace to see what gets invoked. These are samples of the invocations of programs from the list of changed packages in my initial email: /usr/bin/as -o lib/util/config.o /tmp/camlasme3bb4e.s /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wdeclaration-after-statement -Werror -fno-common -fexcess-precision=standard -fno-tree-vrp -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o alt-ergo.opt -L/usr/lib64/ocaml/num -L/usr/lib64/ocaml/zarith -L/usr/lib64/ocaml/lablgtk2 -L/usr/lib64/ocaml/threads -L/usr/lib64/ocaml/zip -L/usr/lib64/ocaml/ocplib-simplex -L/usr/lib64/ocaml/psmt2-frontend -Llib/util -Llib/structures -Llib/reasoners -Llib/frontend -Ltools/text -Ltools/gui -Lparsers/why -Lparsers/smt2 -Lplugins/fm-simplex -L/usr/lib64/ocaml -Wl,-E /tmp/camlstartup506767.o /usr/lib64/ocaml/std_exit.o tools/text/main_text.o lib/frontend/parsers_loader.o parsers/smt2/psmt2_to_alt_ergo.o parsers/why/why_lexer.o parsers/why/why_parser.o lib/frontend/parsers.o lib/frontend/frontend.o lib/frontend/parsed_interface.o lib/frontend/typechecker.o lib/frontend/cnf.o lib/frontend/triggers.o lib/reasoners/sat_solver.o lib/reasoners/satml_frontend.o lib/reasoners/satml.o lib/reasoners/fun_sat.o lib/reasoners/sat_solver_sig.o lib/reasoners/theory.o lib/reasoners/ccx.o lib/reasoners/combine.o lib/reasoners/ite.o lib/reasoners/sum.o lib/reasoners/arrays.o lib/reasoners/bitv.o lib/reasoners/records.o lib/reasoners/arith.o lib/reasoners/intervalCalculus.o lib/reasoners/inequalities.o lib/reasoners/intervals.o lib/reasoners/use.o lib/reasoners/uf.o lib/reasoners/ac.o lib/reasoners/polynome.o lib/reasoners/instances.o lib/reasoners/matching.o lib/structures/profiling.o lib/structures/commands.o lib/structures/explanation.o lib/structures/satml_types.o lib/structures/formula.o lib/structures/literal.o lib/structures/fpa_rounding.o lib/structures/term.o lib/structures/typed.o lib/structures/errors.o lib/structures/parsed.o lib/structures/ty.o lib/structures/symbols.o lib/structures/exception.o lib/util/hstring.o lib/util/hconsing.o lib/util/loc.o lib/util/gc_debug.o lib/util/timers.o lib/util/iheap.o lib/util/vec.o lib/util/options.o lib/util/numbers.o lib/util/zarithNumbers.o lib/util/numsNumbers.o lib/util/lists.o lib/util/util.o lib/util/myZip.o lib/util/myDynlink.o lib/util/myUnix.o lib/util/emap.o lib/util/version.o lib/util/config.o /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a /usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a /usr/lib64/ocaml/zip/zip.a /usr/lib64/ocaml/str.a /usr/lib64/ocaml/dynlink.a /usr/lib64/ocaml/unix.a /usr/lib64/ocaml/nums.a /usr/lib64/ocaml/zarith/zarith.a /usr/lib64/ocaml/stdlib.a -lcamlzip -lz -lcamlstr -lunix -lnums -lzarith -lgmp /usr/lib64/ocaml/libasmrun_pic.a -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -lm -ldl /usr/libexec/gcc/x86_64-redhat-linux/10/collect2 -plugin /usr/libexec/gcc/x86_64-redhat-linux/10/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-redhat-linux/10/lto-wrapper -plugin-opt=-fresolution=/tmp/ccB2PSiV.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o alt-ergol.opt /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/crti.o /usr/lib/gcc/x86_64-redhat-linux/10/crtbeginS.o -L/usr/lib64/ocaml/num -L/usr/lib64/ocaml/zarith -L/usr/lib64/ocaml/lablgtk2 -L/usr/lib64/ocaml/threads -L/usr/lib64/ocaml/zip -L/usr/lib64/ocaml/ocplib-simplex -L/usr/lib64/ocaml/psmt2-frontend -Llib/util -Llib/structures -Llib/reasoners -Llib/frontend -Ltools/text -Ltools/gui -Lparsers/why -Lparsers/smt2 -Lplugins/fm-simplex -L/usr/lib64/ocaml -L/usr/lib/gcc/x86_64-redhat-linux/10 -L/usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-redhat-linux/10/../../.. -E -E /tmp/camlstartup506767.o /usr/lib64/ocaml/std_exit.o tools/text/main_text.o lib/frontend/parsers_loader.o parsers/smt2/psmt2_to_alt_ergo.o parsers/why/why_lexer.o parsers/why/why_parser.o lib/frontend/parsers.o lib/frontend/frontend.o lib/frontend/parsed_interface.o lib/frontend/typechecker.o lib/frontend/cnf.o lib/frontend/triggers.o lib/reasoners/sat_solver.o lib/reasoners/satml_frontend.o lib/reasoners/satml.o lib/reasoners/fun_sat.o lib/reasoners/sat_solver_sig.o lib/reasoners/theory.o lib/reasoners/ccx.o lib/reasoners/combine.o lib/reasoners/ite.o lib/reasoners/sum.o lib/reasoners/arrays.o lib/reasoners/bitv.o lib/reasoners/records.o lib/reasoners/arith.o lib/reasoners/intervalCalculus.o lib/reasoners/inequalities.o lib/reasoners/intervals.o lib/reasoners/use.o lib/reasoners/uf.o lib/reasoners/ac.o lib/reasoners/polynome.o lib/reasoners/instances.o lib/reasoners/matching.o lib/structures/profiling.o lib/structures/commands.o lib/structures/explanation.o lib/structures/satml_types.o lib/structures/formula.o lib/structures/literal.o lib/structures/fpa_rounding.o lib/structures/term.o lib/structures/typed.o lib/structures/errors.o lib/structures/parsed.o lib/structures/ty.o lib/structures/symbols.o lib/structures/exception.o lib/util/hstring.o lib/util/hconsing.o lib/util/loc.o lib/util/gc_debug.o lib/util/timers.o lib/util/iheap.o lib/util/vec.o lib/util/options.o lib/util/numbers.o lib/util/zarithNumbers.o lib/util/numsNumbers.o lib/util/lists.o lib/util/util.o lib/util/myZip.o lib/util/myDynlink.o lib/util/myUnix.o lib/util/emap.o lib/util/version.o lib/util/config.o /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a /usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a /usr/lib64/ocaml/zip/zip.a /usr/lib64/ocaml/str.a /usr/lib64/ocaml/dynlink.a /usr/lib64/ocaml/unix.a /usr/lib64/ocaml/nums.a /usr/lib64/ocaml/zarith/zarith.a /usr/lib64/ocaml/stdlib.a -lcamlzip -lz -lcamlstr -lunix -lnums -lzarith -lgmp /usr/lib64/ocaml/libasmrun_pic.a -z relro --as-needed -z now -lm -ldl -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-redhat-linux/10/crtendS.o /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/crtn.o /usr/bin/ld -plugin /usr/libexec/gcc/x86_64-redhat-linux/10/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-redhat-linux/10/lto-wrapper -plugin-opt=-fresolution=/tmp/ccB2PSiV.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o alt-ergol.opt /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/crti.o /usr/lib/gcc/x86_64-redhat-linux/10/crtbeginS.o -L/usr/lib64/ocaml/num -L/usr/lib64/ocaml/zarith -L/usr/lib64/ocaml/lablgtk2 -L/usr/lib64/ocaml/threads -L/usr/lib64/ocaml/zip -L/usr/lib64/ocaml/ocplib-simplex -L/usr/lib64/ocaml/psmt2-frontend -Llib/util -Llib/structures -Llib/reasoners -Llib/frontend -Ltools/text -Ltools/gui -Lparsers/why -Lparsers/smt2 -Lplugins/fm-simplex -L/usr/lib64/ocaml -L/usr/lib/gcc/x86_64-redhat-linux/10 -L/usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-redhat-linux/10/../../.. -E -E /tmp/camlstartup506767.o /usr/lib64/ocaml/std_exit.o tools/text/main_text.o lib/frontend/parsers_loader.o parsers/smt2/psmt2_to_alt_ergo.o parsers/why/why_lexer.o parsers/why/why_parser.o lib/frontend/parsers.o lib/frontend/frontend.o lib/frontend/parsed_interface.o lib/frontend/typechecker.o lib/frontend/cnf.o lib/frontend/triggers.o lib/reasoners/sat_solver.o lib/reasoners/satml_frontend.o lib/reasoners/satml.o lib/reasoners/fun_sat.o lib/reasoners/sat_solver_sig.o lib/reasoners/theory.o lib/reasoners/ccx.o lib/reasoners/combine.o lib/reasoners/ite.o lib/reasoners/sum.o lib/reasoners/arrays.o lib/reasoners/bitv.o lib/reasoners/records.o lib/reasoners/arith.o lib/reasoners/intervalCalculus.o lib/reasoners/inequalities.o lib/reasoners/intervals.o lib/reasoners/use.o lib/reasoners/uf.o lib/reasoners/ac.o lib/reasoners/polynome.o lib/reasoners/instances.o lib/reasoners/matching.o lib/structures/profiling.o lib/structures/commands.o lib/structures/explanation.o lib/structures/satml_types.o lib/structures/formula.o lib/structures/literal.o lib/structures/fpa_rounding.o lib/structures/term.o lib/structures/typed.o lib/structures/errors.o lib/structures/parsed.o lib/structures/ty.o lib/structures/symbols.o lib/structures/exception.o lib/util/hstring.o lib/util/hconsing.o lib/util/loc.o lib/util/gc_debug.o lib/util/timers.o lib/util/iheap.o lib/util/vec.o lib/util/options.o lib/util/numbers.o lib/util/zarithNumbers.o lib/util/numsNumbers.o lib/util/lists.o lib/util/util.o lib/util/myZip.o lib/util/myDynlink.o lib/util/myUnix.o lib/util/emap.o lib/util/version.o lib/util/config.o /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a /usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a /usr/lib64/ocaml/zip/zip.a /usr/lib64/ocaml/str.a /usr/lib64/ocaml/dynlink.a /usr/lib64/ocaml/unix.a /usr/lib64/ocaml/nums.a /usr/lib64/ocaml/zarith/zarith.a /usr/lib64/ocaml/stdlib.a -lcamlzip -lz -lcamlstr -lunix -lnums -lzarith -lgmp /usr/lib64/ocaml/libasmrun_pic.a -z relro --as-needed -z now -lm -ldl -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-redhat-linux/10/crtendS.o /usr/lib/gcc/x86_64-redhat-linux/10/../../../../lib64/crtn.o -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
