search

SWI-Prolog / swipl-devel

SWI-Prolog Main development repository
http://www.swi-prolog.org
Other
972 stars 174 forks source link

swipl:transaction tests fails on i586 with illegal states #1139

Open mcepl opened 1 year ago

mcepl commented 1 year ago

When packaging swipl 9.0.4 on openSUSE, swipl:transaction test fails on i586 (it builds everywhere else including x86_64, aarch64, armv7l, and s390x):

[  118s]  5/79 Test #16: swipl:transaction ................***Failed    0.41 sec
[  118s] Running scripts from transaction 
[  118s] % [Thread 3] verify: [4-827-<clause>(0xf5105b20),5-826-<clause>(0xf5308a20)]
[  118s] Name                                                       locked collisions
[  118s] ----------------------------------------------------------------------------
[  118s] apply                                                           1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/apply.pl       40        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/ordsets.pl       46        0
[  118s] prolog_debug                                                    8        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/debug.pl       28        0
[  118s] prolog_system_predicate_options                                23        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/dialect/swi/syspred_options.pl       28        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/predicate_options.pl       69        0
[  118s] thread                                                          6        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/thread.pl       57        0
[  118s] random                                                          1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/random.pl       28        0
[  118s] test_transaction_constraints                                    6        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/src/Tests/transaction/test_transaction_constraints.pl       15        0
[  118s] prolog_code                                                     1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/prolog_code.pl       26        0
[  118s] prolog_main                                                     3        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/main.pl       59        0
[  118s] error                                                           2        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/error.pl       26        0
[  118s] swi_option                                                      3        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/option.pl       20        0
[  118s] lists                                                           1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/lists.pl       62        0
[  118s] plunit                                                          3        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/library/plunit.pl      129        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/src/test.pl           171        0
[  118s] link_xpce                                                       3        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/packages/xpce/swipl/swipl-rc       10        0
[  118s] prolog_build_home                                              13        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/swipl.rc       20        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/topvars.pl       21        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/tabling.pl      153        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/engines.pl        8        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/dicts.pl       11        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/packs.pl       22        0
[  118s] $predopts                                                       6        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/predopts.pl       12        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/rc.pl       22        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/qlf.pl        7        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/iri.pl        6        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/autoload.pl       80        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/dwim.pl       38        0
[  118s] $history                                                        1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/history.pl       27        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/apply.pl        3        0
[  118s] $bags                                                           3        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/bags.pl       17        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/attvar.pl       23        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/toplevel.pl      140        0
[  118s] $tabling                                                        4        0
[  118s] $messages                                                      24        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/messages.pl      131        0
[  118s] $autoload                                                      38        0
[  118s] $toplevel                                                      28        0
[  118s] $syspreds                                                      24        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/syspred.pl      103        0
[  118s] license                                                         1        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/license.pl       27        0
[  118s] $dcg                                                            8        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/dcg.pl       23        0
[  118s] $expand                                                        36        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/expand.pl      117        0
[  118s] $gc                                                             5        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/gc.pl        4        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/load.pl       44        0
[  118s] /home/abuild/rpmbuild/BUILD/swipl-9.0.4/build/home/boot/init.pl      346        0
[  118s] user                                                           21        0
[  118s] system                                                        174        0
[  118s] L_MISC                                                         11        0
[  118s] L_REHASH_ATOMS                                                 48        0
[  118s] L_FLAG                                                         99        0
[  118s] L_FUNCTOR                                                     383        0
[  118s] L_THREAD                                                      450        0
[  118s] L_MUTEX                                                        90        0
[  118s] L_PREDICATE                                                 11421        4
[  118s] L_MODULE                                                      167        0
[  118s] L_SRCFILE                                                    3328        0
[  118s] L_FILE                                                       3949        0
[  118s] L_PLFLAG                                                      276        0
[  118s] L_OP                                                            4        0
[  118s] L_OS                                                           25        0
[  118s] L_LOCALE                                                       60        0
[  118s] L_UMUTEX                                                     1073        0
[  118s] L_CGCGEN                                                       22        0
[  118s] L_EVHOOK                                                        1        0
[  118s] L_OSDIR                                                       132        0
[  118s] L_ALERT                                                       825        0
[  118s] L_GENERATION                                                 8284        0
[  118s] Got 1 illegal states
[  118s] Script /home/abuild/rpmbuild/BUILD/swipl-9.0.4/src/Tests/transaction/test_transaction_constraints.pl failed
[  118s] .............................. done
[  118s] *** 1 tests failed ***

Complete build log with the list of all packages used and all steps taken to reproduce.

JanWielemaker commented 1 year ago

Thanks for reporting. I'm afraid it is not very likely to be fixed soon. Could you add the gcc version being used? This has so far not been reported by e.g., Debian where the tests pass on all their platforms.

mcepl commented 1 year ago

You have it in the log: gcc-c++-12-2.5.