Login
Log in using an SSO provider:
Fedora Account System
Red Hat Associate
Red Hat Customer
Login using a Red Hat Bugzilla account
Forgot Password
Create an Account
Red Hat Bugzilla – Attachment 1978767 Details for
Bug 2226125
pvs-sbcl: FTBFS in Fedora rawhide/f39
Home
New
Search
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh89 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
[?]
This site requires JavaScript to be enabled to function correctly, please enable it.
build.log
build.log (text/plain), 32.00 KB, created by
Fedora Release Engineering
on 2023-07-25 19:03:37 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Fedora Release Engineering
Created:
2023-07-25 19:03:37 UTC
Size:
32.00 KB
patch
obsolete
>in-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -D_POSIX_SOURCE -DSYSV -D_BSD_SOURCE -I../mona/BDD -I../mona/DFA -I../mona/Mem -c ../mona/Mem/dlmalloc.c -o dlmalloc.o >In file included from /usr/include/bits/libc-header-start.h:33, > from /usr/include/stdio.h:27, > from ../mona/Mem/dlmalloc.h:250, > from ../mona/Mem/dlmalloc.c:1: >/usr/include/features.h:196:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] > 196 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" > | ^~~~~~~ >../mona/Mem/dlmalloc.c: In function âmunmap_chunkâ: >../mona/Mem/dlmalloc.c:926:7: warning: variable âretâ set but not used [-Wunused-but-set-variable] > 926 | int ret; > | ^~~ >gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -D_POSIX_SOURCE -DSYSV -D_BSD_SOURCE -I../mona/BDD -I../mona/DFA -I../mona/Mem -c ../mona/Mem/mem.c -o mem.o >In file included from /usr/include/bits/libc-header-start.h:33, > from /usr/include/stdlib.h:26, > from ../mona/Mem/mem.c:21: >/usr/include/features.h:196:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] > 196 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" > | ^~~~~~~ >gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -D_POSIX_SOURCE -DSYSV -D_BSD_SOURCE -I../mona/BDD -I../mona/DFA -I../mona/Mem -c ../ws1s_table.c -o ws1s_table.o >gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -D_POSIX_SOURCE -DSYSV -D_BSD_SOURCE -I../mona/BDD -I../mona/DFA -I../mona/Mem -c ../ws1s_extended_interface.c -o ws1s_extended_interface.o >In file included from /usr/include/bits/libc-header-start.h:33, > from /usr/include/stdlib.h:26, > from ../ws1s_extended_interface.c:24: >/usr/include/features.h:196:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] > 196 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" > | ^~~~~~~ >gcc -shared -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -D_POSIX_SOURCE -DSYSV -D_BSD_SOURCE -I../mona/BDD -I../mona/DFA -I../mona/Mem -o ws1s.so analyze.o prefix.o product.o quotient.o basic.o external.o makebasic.o minimize.o printdfa.o project.o dfa.o bdd.o bdd_double.o bdd_external.o bdd_manager.o hash.o bdd_dump.o bdd_trace.o bdd_cache.o dlmalloc.o mem.o ws1s_table.o ws1s_extended_interface.o -lmonabdd >../ws1s_table.c:129:12: warning: type of âdfaConjunctionâ does not match original declaration [-Wlto-type-mismatch] > 129 | extern int dfaConjunction (int); > | ^ >../ws1s_extended_interface.c:27:6: note: return value type mismatch > 27 | DFA* dfaConjunction(DFA *a1, DFA *a2) > | ^ >../ws1s_extended_interface.c:27:6: note: âdfaConjunctionâ was previously declared here >../ws1s_extended_interface.c:27:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:133:12: warning: type of âdfaDisjunctionâ does not match original declaration [-Wlto-type-mismatch] > 133 | extern int dfaDisjunction (int); > | ^ >../ws1s_extended_interface.c:32:6: note: return value type mismatch > 32 | DFA* dfaDisjunction(DFA *a1, DFA *a2) > | ^ >../ws1s_extended_interface.c:32:6: note: âdfaDisjunctionâ was previously declared here >../ws1s_extended_interface.c:32:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:137:12: warning: type of âdfaImplicationâ does not match original declaration [-Wlto-type-mismatch] > 137 | extern int dfaImplication (int); > | ^ >../ws1s_extended_interface.c:37:6: note: return value type mismatch > 37 | DFA* dfaImplication(DFA *a1, DFA *a2) > | ^ >../ws1s_extended_interface.c:37:6: note: âdfaImplicationâ was previously declared here >../ws1s_extended_interface.c:37:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:141:12: warning: type of âdfaIffâ does not match original declaration [-Wlto-type-mismatch] > 141 | extern int dfaIff (int); > | ^ >../ws1s_extended_interface.c:42:6: note: return value type mismatch > 42 | DFA* dfaIff(DFA *a1, DFA *a2) > | ^ >../ws1s_extended_interface.c:42:6: note: âdfaIffâ was previously declared here >../ws1s_extended_interface.c:42:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:117:12: warning: type of âdfaCopyâ does not match original declaration [-Wlto-type-mismatch] > 117 | extern int dfaCopy (int); > | ^ >../mona/DFA/dfa.c:98:6: note: return value type mismatch > 98 | DFA *dfaCopy(DFA *a) > | ^ >../mona/DFA/dfa.c:98:6: note: âdfaCopyâ was previously declared here >../mona/DFA/dfa.c:98:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:113:12: warning: type of âdfaUnrestrictâ does not match original declaration [-Wlto-type-mismatch] > 113 | extern int dfaUnrestrict (int); > | ^ >../mona/DFA/dfa.c:81:6: note: return value type mismatch > 81 | void dfaUnrestrict(DFA *a) > | ^ >../mona/DFA/dfa.c:81:6: note: type âvoidâ should match type âintâ >../mona/DFA/dfa.c:81:6: note: âdfaUnrestrictâ was previously declared here >../mona/DFA/dfa.c:81:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:109:12: warning: type of âdfaRestrictâ does not match original declaration [-Wlto-type-mismatch] > 109 | extern int dfaRestrict (int); > | ^ >../mona/DFA/dfa.c:73:6: note: return value type mismatch > 73 | void dfaRestrict(DFA *a) > | ^ >../mona/DFA/dfa.c:73:6: note: type âvoidâ should match type âintâ >../mona/DFA/dfa.c:73:6: note: âdfaRestrictâ was previously declared here >../mona/DFA/dfa.c:73:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:105:12: warning: type of âdfaNegationâ does not match original declaration [-Wlto-type-mismatch] > 105 | extern int dfaNegation (int); > | ^ >../mona/DFA/dfa.c:65:6: note: return value type mismatch > 65 | void dfaNegation(DFA *a) > | ^ >../mona/DFA/dfa.c:65:6: note: type âvoidâ should match type âintâ >../mona/DFA/dfa.c:65:6: note: âdfaNegationâ was previously declared here >../mona/DFA/dfa.c:65:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:149:12: warning: type of âdfaProjectâ does not match original declaration [-Wlto-type-mismatch] > 149 | extern int dfaProject (int); > | ^ >../mona/DFA/project.c:209:6: note: return value type mismatch > 209 | DFA *dfaProject(DFA *a, unsigned var_index) > | ^ >../mona/DFA/project.c:209:6: note: âdfaProjectâ was previously declared here >../mona/DFA/project.c:209:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:181:12: warning: type of âdfaPrintVerboseâ does not match original declaration [-Wlto-type-mismatch] > 181 | extern int dfaPrintVerbose (int); > | ^ >../mona/DFA/printdfa.c:316:6: note: return value type mismatch > 316 | void dfaPrintVerbose(DFA *a) > | ^ >../mona/DFA/printdfa.c:316:6: note: type âvoidâ should match type âintâ >../mona/DFA/printdfa.c:316:6: note: âdfaPrintVerboseâ was previously declared here >../mona/DFA/printdfa.c:316:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:177:12: warning: type of âdfaPrintGraphvizâ does not match original declaration [-Wlto-type-mismatch] > 177 | extern int dfaPrintGraphviz (int); > | ^ >../mona/DFA/printdfa.c:218:6: note: return value type mismatch > 218 | void dfaPrintGraphviz(DFA *a, int no_free_vars, unsigned *offsets) > | ^ >../mona/DFA/printdfa.c:218:6: note: type âvoidâ should match type âintâ >../mona/DFA/printdfa.c:218:6: note: âdfaPrintGraphvizâ was previously declared here >../mona/DFA/printdfa.c:218:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:173:12: warning: type of âdfaPrintâ does not match original declaration [-Wlto-type-mismatch] > 173 | extern int dfaPrint (int); > | ^ >../mona/DFA/printdfa.c:36:6: note: return value type mismatch > 36 | void dfaPrint(DFA *a, int no_free_vars, char **free_variables, unsigned *offsets) > | ^ >../mona/DFA/printdfa.c:36:6: note: type âvoidâ should match type âintâ >../mona/DFA/printdfa.c:36:6: note: âdfaPrintâ was previously declared here >../mona/DFA/printdfa.c:36:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:169:12: warning: type of âdfaPrintVitalsâ does not match original declaration [-Wlto-type-mismatch] > 169 | extern int dfaPrintVitals (int); > | ^ >../mona/DFA/printdfa.c:27:6: note: return value type mismatch > 27 | void dfaPrintVitals(DFA *a) > | ^ >../mona/DFA/printdfa.c:27:6: note: type âvoidâ should match type âintâ >../mona/DFA/printdfa.c:27:6: note: âdfaPrintVitalsâ was previously declared here >../mona/DFA/printdfa.c:27:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:157:12: warning: type of âdfaMinimizeâ does not match original declaration [-Wlto-type-mismatch] > 157 | extern int dfaMinimize (int); > | ^ >../mona/DFA/minimize.c:63:6: note: return value type mismatch > 63 | DFA *dfaMinimize(DFA *a) > | ^ >../mona/DFA/minimize.c:63:6: note: âdfaMinimizeâ was previously declared here >../mona/DFA/minimize.c:63:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:101:12: warning: type of âdfaFreeâ does not match original declaration [-Wlto-type-mismatch] > 101 | extern int dfaFree (int); > | ^ >../mona/DFA/dfa.c:56:6: note: return value type mismatch > 56 | void dfaFree(DFA *a) > | ^ >../mona/DFA/dfa.c:56:6: note: type âvoidâ should match type âintâ >../mona/DFA/dfa.c:56:6: note: âdfaFreeâ was previously declared here >../mona/DFA/dfa.c:56:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:209:12: warning: type of âdfaExportâ does not match original declaration [-Wlto-type-mismatch] > 209 | extern int dfaExport (int); > | ^ >../mona/DFA/external.c:29:5: note: type mismatch in parameter 1 > 29 | int dfaExport(DFA *a, char *filename, int num, char *vars[], char orders[]) > | ^ >../mona/DFA/external.c:29:5: note: âdfaExportâ was previously declared here >../mona/DFA/external.c:29:5: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:205:12: warning: type of âdfaBuildâ does not match original declaration [-Wlto-type-mismatch] > 205 | extern int dfaBuild (int); > | ^ >../mona/DFA/makebasic.c:220:6: note: return value type mismatch > 220 | DFA *dfaBuild(char *finals) > | ^ >../mona/DFA/makebasic.c:220:6: note: âdfaBuildâ was previously declared here >../mona/DFA/makebasic.c:220:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:197:12: warning: type of âdfaStoreExceptionâ does not match original declaration [-Wlto-type-mismatch] > 197 | extern int dfaStoreException (int); > | ^ >../mona/DFA/makebasic.c:41:6: note: return value type mismatch > 41 | void dfaStoreException(int value, char *path) > | ^ >../mona/DFA/makebasic.c:41:6: note: type âvoidâ should match type âintâ >../mona/DFA/makebasic.c:41:6: note: âdfaStoreExceptionâ was previously declared here >../ws1s_table.c:189:12: warning: type of âdfaSetupâ does not match original declaration [-Wlto-type-mismatch] > 189 | extern int dfaSetup (int); > | ^ >../mona/DFA/makebasic.c:188:6: note: return value type mismatch > 188 | void dfaSetup(int ns, int os, int *offsets) > | ^ >../mona/DFA/makebasic.c:188:6: note: type âvoidâ should match type âintâ >../mona/DFA/makebasic.c:188:6: note: âdfaSetupâ was previously declared here >../ws1s_table.c:89:12: warning: type of âdfaPresbConstâ does not match original declaration [-Wlto-type-mismatch] > 89 | extern int dfaPresbConst (int); > | ^ >../mona/DFA/basic.c:1340:6: note: return value type mismatch > 1340 | DFA *dfaPresbConst(int i, int n) > | ^ >../mona/DFA/basic.c:1340:6: note: âdfaPresbConstâ was previously declared here >../mona/DFA/basic.c:1340:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:49:12: warning: type of âdfaMinusModulo1â does not match original declaration [-Wlto-type-mismatch] > 49 | extern int dfaMinusModulo1 (int); > | ^ >../mona/DFA/basic.c:1128:6: note: return value type mismatch > 1128 | DFA *dfaMinusModulo1(int i, int j, int k) /* see minusmodulo.mona */ > | ^ >../mona/DFA/basic.c:1128:6: note: âdfaMinusModulo1â was previously declared here >../mona/DFA/basic.c:1128:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:45:12: warning: type of âdfaPlusModulo1â does not match original declaration [-Wlto-type-mismatch] > 45 | extern int dfaPlusModulo1 (int); > | ^ >../mona/DFA/basic.c:905:6: note: return value type mismatch > 905 | DFA *dfaPlusModulo1(int i, int j, int k) /* see plusmodulo.mona */ > | ^ >../mona/DFA/basic.c:905:6: note: âdfaPlusModulo1â was previously declared here >../mona/DFA/basic.c:905:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:81:12: warning: type of âdfaMinâ does not match original declaration [-Wlto-type-mismatch] > 81 | extern int dfaMin (int); > | ^ >../mona/DFA/basic.c:860:6: note: return value type mismatch > 860 | DFA *dfaMin(int i, int j) > | ^ >../mona/DFA/basic.c:860:6: note: âdfaMinâ was previously declared here >../mona/DFA/basic.c:860:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:77:12: warning: type of âdfaMaxâ does not match original declaration [-Wlto-type-mismatch] > 77 | extern int dfaMax (int); > | ^ >../mona/DFA/basic.c:820:6: note: return value type mismatch > 820 | DFA *dfaMax(int i, int j) > | ^ >../mona/DFA/basic.c:820:6: note: âdfaMaxâ was previously declared here >../mona/DFA/basic.c:820:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:25:12: warning: type of âdfaMinus1â does not match original declaration [-Wlto-type-mismatch] > 25 | extern int dfaMinus1 (int); > | ^ >../mona/DFA/basic.c:751:6: note: return value type mismatch > 751 | DFA *dfaMinus1(int i, int j) > | ^ >../mona/DFA/basic.c:751:6: note: âdfaMinus1â was previously declared here >../mona/DFA/basic.c:751:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:21:12: warning: type of âdfaPlus1â does not match original declaration [-Wlto-type-mismatch] > 21 | extern int dfaPlus1 (int); > | ^ >../mona/DFA/basic.c:688:6: note: return value type mismatch > 688 | DFA *dfaPlus1(int i, int j, int n) > | ^ >../mona/DFA/basic.c:688:6: note: âdfaPlus1â was previously declared here >../mona/DFA/basic.c:688:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:9:12: warning: type of âdfaConstâ does not match original declaration [-Wlto-type-mismatch] > 9 | extern int dfaConst (int); > | ^ >../mona/DFA/basic.c:638:6: note: return value type mismatch > 638 | DFA *dfaConst(int n, int i) > | ^ >../mona/DFA/basic.c:638:6: note: âdfaConstâ was previously declared here >../mona/DFA/basic.c:638:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:17:12: warning: type of âdfaLesseqâ does not match original declaration [-Wlto-type-mismatch] > 17 | extern int dfaLesseq (int); > | ^ >../mona/DFA/basic.c:599:6: note: return value type mismatch > 599 | DFA *dfaLesseq(int i, int j) > | ^ >../mona/DFA/basic.c:599:6: note: âdfaLesseqâ was previously declared here >../mona/DFA/basic.c:599:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:13:12: warning: type of âdfaLessâ does not match original declaration [-Wlto-type-mismatch] > 13 | extern int dfaLess (int); > | ^ >../mona/DFA/basic.c:561:6: note: return value type mismatch > 561 | DFA *dfaLess(int i, int j) > | ^ >../mona/DFA/basic.c:561:6: note: âdfaLessâ was previously declared here >../mona/DFA/basic.c:561:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:29:12: warning: type of âdfaEq1â does not match original declaration [-Wlto-type-mismatch] > 29 | extern int dfaEq1 (int); > | ^ >../mona/DFA/basic.c:528:6: note: return value type mismatch > 528 | DFA *dfaEq1(int i, int j) > | ^ >../mona/DFA/basic.c:528:6: note: âdfaEq1â was previously declared here >../mona/DFA/basic.c:528:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:57:12: warning: type of âdfaInâ does not match original declaration [-Wlto-type-mismatch] > 57 | extern int dfaIn (int); > | ^ >../mona/DFA/basic.c:498:6: note: return value type mismatch > 498 | DFA *dfaIn(int i, int j) > | ^ >../mona/DFA/basic.c:498:6: note: âdfaInâ was previously declared here >../mona/DFA/basic.c:498:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:97:12: warning: type of âdfaFirstOrderâ does not match original declaration [-Wlto-type-mismatch] > 97 | extern int dfaFirstOrder (int); > | ^ >../mona/DFA/basic.c:415:6: note: return value type mismatch > 415 | DFA *dfaFirstOrder(int i) > | ^ >../mona/DFA/basic.c:415:6: note: âdfaFirstOrderâ was previously declared here >../mona/DFA/basic.c:415:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:85:12: warning: type of âdfaBoolvarâ does not match original declaration [-Wlto-type-mismatch] > 85 | extern int dfaBoolvar (int); > | ^ >../mona/DFA/basic.c:392:6: note: return value type mismatch > 392 | DFA *dfaBoolvar(int b) > | ^ >../mona/DFA/basic.c:392:6: note: âdfaBoolvarâ was previously declared here >../mona/DFA/basic.c:392:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:73:12: warning: type of âdfaSetminusâ does not match original declaration [-Wlto-type-mismatch] > 73 | extern int dfaSetminus (int); > | ^ >../mona/DFA/basic.c:338:6: note: return value type mismatch > 338 | DFA *dfaSetminus(int i, int j, int k) > | ^ >../mona/DFA/basic.c:338:6: note: âdfaSetminusâ was previously declared here >../mona/DFA/basic.c:338:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:69:12: warning: type of âdfaInterâ does not match original declaration [-Wlto-type-mismatch] > 69 | extern int dfaInter (int); > | ^ >../mona/DFA/basic.c:303:6: note: return value type mismatch > 303 | DFA *dfaInter(int i, int j, int k) > | ^ >../mona/DFA/basic.c:303:6: note: âdfaInterâ was previously declared here >../mona/DFA/basic.c:303:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:65:12: warning: type of âdfaUnionâ does not match original declaration [-Wlto-type-mismatch] > 65 | extern int dfaUnion (int); > | ^ >../mona/DFA/basic.c:268:6: note: return value type mismatch > 268 | DFA *dfaUnion(int i, int j, int k) > | ^ >../mona/DFA/basic.c:268:6: note: âdfaUnionâ was previously declared here >../mona/DFA/basic.c:268:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:41:12: warning: type of âdfaMinus2â does not match original declaration [-Wlto-type-mismatch] > 41 | extern int dfaMinus2 (int); > | ^ >../mona/DFA/basic.c:198:6: note: return value type mismatch > 198 | DFA *dfaMinus2(int i, int j) > | ^ >../mona/DFA/basic.c:198:6: note: âdfaMinus2â was previously declared here >../mona/DFA/basic.c:198:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:37:12: warning: type of âdfaPlus2â does not match original declaration [-Wlto-type-mismatch] > 37 | extern int dfaPlus2 (int); > | ^ >../mona/DFA/basic.c:163:6: note: return value type mismatch > 163 | DFA *dfaPlus2(int i, int j) > | ^ >../mona/DFA/basic.c:163:6: note: âdfaPlus2â was previously declared here >../mona/DFA/basic.c:163:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:53:12: warning: type of âdfaEmptyâ does not match original declaration [-Wlto-type-mismatch] > 53 | extern int dfaEmpty (int); > | ^ >../mona/DFA/basic.c:140:6: note: return value type mismatch > 140 | DFA *dfaEmpty(int i) > | ^ >../mona/DFA/basic.c:140:6: note: âdfaEmptyâ was previously declared here >../mona/DFA/basic.c:140:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:61:12: warning: type of âdfaSubsetâ does not match original declaration [-Wlto-type-mismatch] > 61 | extern int dfaSubset (int); > | ^ >../mona/DFA/basic.c:112:6: note: return value type mismatch > 112 | DFA *dfaSubset(int i, int j) > | ^ >../mona/DFA/basic.c:112:6: note: âdfaSubsetâ was previously declared here >../mona/DFA/basic.c:112:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:33:12: warning: type of âdfaEq2â does not match original declaration [-Wlto-type-mismatch] > 33 | extern int dfaEq2 (int); > | ^ >../mona/DFA/basic.c:83:6: note: return value type mismatch > 83 | DFA *dfaEq2(int i, int j) > | ^ >../mona/DFA/basic.c:83:6: note: âdfaEq2â was previously declared here >../mona/DFA/basic.c:83:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:93:12: warning: type of âdfaSingletonâ does not match original declaration [-Wlto-type-mismatch] > 93 | extern int dfaSingleton (int); > | ^ >../mona/DFA/basic.c:55:6: note: return value type mismatch > 55 | DFA *dfaSingleton(int i) > | ^ >../mona/DFA/basic.c:55:6: note: âdfaSingletonâ was previously declared here >../mona/DFA/basic.c:55:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:5:12: warning: type of âdfaFalseâ does not match original declaration [-Wlto-type-mismatch] > 5 | extern int dfaFalse (int); > | ^ >../mona/DFA/basic.c:40:6: note: return value type mismatch > 40 | DFA *dfaFalse() > | ^ >../mona/DFA/basic.c:40:6: note: âdfaFalseâ was previously declared here >../mona/DFA/basic.c:40:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:1:12: warning: type of âdfaTrueâ does not match original declaration [-Wlto-type-mismatch] > 1 | extern int dfaTrue (int); > | ^ >../mona/DFA/basic.c:25:6: note: return value type mismatch > 25 | DFA *dfaTrue() > | ^ >../mona/DFA/basic.c:25:6: note: âdfaTrueâ was previously declared here >../mona/DFA/basic.c:25:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:153:12: warning: type of âdfaRightQuotientâ does not match original declaration [-Wlto-type-mismatch] > 153 | extern int dfaRightQuotient (int); > | ^ >../mona/DFA/quotient.c:199:6: note: return value type mismatch > 199 | void dfaRightQuotient(DFA *a, unsigned var_index) > | ^ >../mona/DFA/quotient.c:199:6: note: type âvoidâ should match type âintâ >../mona/DFA/quotient.c:199:6: note: âdfaRightQuotientâ was previously declared here >../mona/DFA/quotient.c:199:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:125:12: warning: type of âdfaProductâ does not match original declaration [-Wlto-type-mismatch] > 125 | extern int dfaProduct (int); > | ^ >../mona/DFA/product.c:124:6: note: return value type mismatch > 124 | DFA *dfaProduct(DFA* a1, DFA* a2, dfaProductType ff) > | ^ >../mona/DFA/product.c:124:6: note: âdfaProductâ was previously declared here >../mona/DFA/product.c:124:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:121:12: warning: type of âdfaPrefixCloseâ does not match original declaration [-Wlto-type-mismatch] > 121 | extern int dfaPrefixClose (int); > | ^ >../mona/DFA/prefix.c:54:6: note: return value type mismatch > 54 | void dfaPrefixClose(DFA *a) > | ^ >../mona/DFA/prefix.c:54:6: note: type âvoidâ should match type âintâ >../mona/DFA/prefix.c:54:6: note: âdfaPrefixCloseâ was previously declared here >../mona/DFA/prefix.c:54:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:145:12: warning: type of âdfaStatusâ does not match original declaration [-Wlto-type-mismatch] > 145 | extern int dfaStatus (int); > | ^ >../mona/DFA/analyze.c:283:5: note: type mismatch in parameter 1 > 283 | int dfaStatus(DFA *dfa) > | ^ >../mona/DFA/analyze.c:283:5: note: âdfaStatusâ was previously declared here >../mona/DFA/analyze.c:283:5: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:165:12: warning: type of âdfaAnalyzeâ does not match original declaration [-Wlto-type-mismatch] > 165 | extern int dfaAnalyze (int); > | ^ >../mona/DFA/analyze.c:222:6: note: return value type mismatch > 222 | void dfaAnalyze(DFA *dfa, int no_free_vars, > | ^ >../mona/DFA/analyze.c:222:6: note: type âvoidâ should match type âintâ >../mona/DFA/analyze.c:222:6: note: âdfaAnalyzeâ was previously declared here >../mona/DFA/analyze.c:222:6: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >../ws1s_table.c:161:12: warning: type of âdfaMakeExampleâ does not match original declaration [-Wlto-type-mismatch] > 161 | extern int dfaMakeExample (int); > | ^ >../mona/DFA/analyze.c:64:7: note: return value type mismatch > 64 | char *dfaMakeExample(DFA *a, int polarity, int no_free_vars, unsigned *offsets) > | ^ >../mona/DFA/analyze.c:64:7: note: âdfaMakeExampleâ was previously declared here >../mona/DFA/analyze.c:64:7: note: code may be misoptimized unless â-fno-strict-aliasingâ is used >make[1]: Leaving directory '/builddir/build/BUILD/PVS-pvs7.1/src/WS1S/ix86_64-Linux' >******* Creating parser >./sbcl --load src/make-pvs-parser >fatal error encountered in SBCL pid 1024 tid 1024: >Can't find sbcl.core >make: *** [Makefile:624: src/pvs-lexer.lisp] Error 1 >error: Bad exit status from /var/tmp/rpm-tmp.3ajmvv (%build) >RPM build errors: > Bad exit status from /var/tmp/rpm-tmp.3ajmvv (%build) >Child return code was: 1 >EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 92318892f7934eb3b2f7304ba0e53771 -D /var/lib/mock/f39-build-44331068-5276202/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.hkhh4hvv:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin --setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007" --setenv=PS1=<mock-chroot> \\s-\\v\\$ --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c /usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/pvs-sbcl.spec\n', 1)] >Traceback (most recent call last): > File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace > result = func(*args, **kw) > ^^^^^^^^^^^^^^^^^ > File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 597, in do_with_status > raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) >mockbuild.exception.Error: Command failed: > # /usr/bin/systemd-nspawn -q -M 92318892f7934eb3b2f7304ba0e53771 -D /var/lib/mock/f39-build-44331068-5276202/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.hkhh4hvv:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin --setenv=PROMPT_COMMAND=printf "\033]0;<mock-chroot>\007" --setenv=PS1=<mock-chroot> \s-\v\$ --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c /usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/pvs-sbcl.spec >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 2226125
: 1978767 |
1978768
|
1978769