Attachment 1978767 Details for Bug 2226125 – build.log

build.log

build.log (text/plain), 32.00 KB, created by Fedora Release Engineering on 2023-07-25 19:03:37 UTC

(hide)

Description:

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
>

Actions: View

Attachments on bug 2226125: 1978767 | 1978768 | 1978769