• Bug#1044539: frama-c: Fails to build source after successful build (5/5

    From Lucas Nussbaum@21:1/5 to All on Sun Aug 13 19:30:08 2023
    [continued from previous message]

    src/plugins/wp/Passive.cm* src/plugins/wp/Splitter.cm* src/plugins/wp/LogicBuiltins.cm* src/plugins/wp/Definitions.cm* src/plugins/wp/Cmath.cm* src/plugins/wp/Cint.cm* src/plugins/wp/Cfloat.cm* src/plugins/wp/Vset.cm* src/plugins/wp/Vlist.cm* src/
    plugins/wp/Cstring.cm* src/plugins/wp/Cvalues.cm* src/plugins/wp/Letify.cm* src/plugins/wp/Cleaning.cm* src/plugins/wp/Mstate.cm* src/plugins/wp/Conditions.cm* src/plugins/wp/Filtering.cm* src/plugins/wp/Plang.cm* src/plugins/wp/Pcfg.cm* src/plugins/wp/
    Pcond.cm* src/plugins/wp/CodeSemantics.cm* src/plugins/wp/LogicCompiler.cm* src/plugins/wp/LogicSemantics.cm* src/plugins/wp/LogicAssigns.cm* src/plugins/wp/Sigma.cm* src/plugins/wp/MemLoader.cm* src/plugins/wp/MemDebug.cm* src/plugins/wp/MemEmpty.cm*
    src/plugins/wp/MemZeroAlias.cm* src/plugins/wp/MemVar.cm*
    src/plugins/wp/MemMemory.cm* src/plugins/wp/MemTyped.cm* src/plugins/wp/MemRegion.cm* src/plugins/wp/MemVal.cm* src/plugins/wp/wpReached.cm* src/plugins/wp/wpRTE.cm* src/plugins/wp/wpTarget.cm* src/plugins/wp/CfgCompiler.cm* src/plugins/wp/
    StmtSemantics.cm* src/plugins/wp/VCS.cm* src/plugins/wp/script.cm* src/plugins/wp/wpo.cm* src/plugins/wp/wpReport.cm* src/plugins/wp/Footprint.cm* src/plugins/wp/Tactical.cm* src/plugins/wp/Strategy.cm* src/plugins/wp/TacClear.cm* src/plugins/wp/TacSplit.
    cm* src/plugins/wp/TacChoice.cm* src/plugins/wp/TacRange.cm* src/plugins/wp/TacInduction.cm* src/plugins/wp/TacArray.cm* src/plugins/wp/TacCompound.cm* src/plugins/wp/TacUnfold.cm* src/plugins/wp/TacHavoc.cm* src/plugins/wp/TacInstance.cm* src/plugins/wp/
    TacLemma.cm* src/plugins/wp/TacFilter.cm* src/plugins/wp/TacCut.cm*
    src/plugins/wp/WpTac.cm* src/plugins/wp/TacNormalForm.cm* src/plugins/wp/TacRewrite.cm* src/plugins/wp/TacBitwised.cm* src/plugins/wp/TacBitrange.cm* src/plugins/wp/TacBittest.cm* src/plugins/wp/TacModMask.cm* src/plugins/wp/TacShift.cm* src/plugins/wp/
    TacSequence.cm* src/plugins/wp/TacCongruence.cm* src/plugins/wp/TacOverflow.cm* src/plugins/wp/Auto.cm* src/plugins/wp/ProofSession.cm* src/plugins/wp/ProofScript.cm* src/plugins/wp/ProofEngine.cm* src/plugins/wp/ProverTask.cm* src/plugins/wp/filter_
    axioms.cm* src/plugins/wp/Cache.cm* src/plugins/wp/ProverWhy3.cm* src/plugins/wp/driver.cm* src/plugins/wp/prover.cm* src/plugins/wp/ProverSearch.cm* src/plugins/wp/ProverScript.cm* src/plugins/wp/Factory.cm* src/plugins/wp/cfgInit.cm* src/plugins/wp/
    cfgAnnot.cm* src/plugins/wp/cfgInfos.cm* src/plugins/wp/cfgCalculus.cm*
    src/plugins/wp/cfgDump.cm* src/plugins/wp/cfgWP.cm* src/plugins/wp/cfgGenerator.cm* src/plugins/wp/Generator.cm* src/plugins/wp/register.cm* src/plugins/wp/VC.cm* src/plugins/wp/GuiConfig.cm* src/plugins/wp/GuiList.cm* src/plugins/wp/GuiSequent.cm* src/
    plugins/wp/GuiProver.cm* src/plugins/wp/GuiTactic.cm* src/plugins/wp/GuiProof.cm* src/plugins/wp/GuiComposer.cm* src/plugins/wp/GuiGoal.cm* src/plugins/wp/GuiSource.cm* src/plugins/wp/GuiPanel.cm* src/plugins/wp/GuiNavigator.cm*
    rm -f src/plugins/wp/rformat.annot src/plugins/wp/wprop.annot src/plugins/wp/wp_parameters.annot src/plugins/wp/wp_error.annot src/plugins/wp/Why3Provers.annot src/plugins/wp/Context.annot src/plugins/wp/Warning.annot src/plugins/wp/dyncall.annot src/
    plugins/wp/ctypes.annot src/plugins/wp/clabels.annot src/plugins/wp/AssignsCompleteness.annot src/plugins/wp/MemoryContext.annot src/plugins/wp/wpContext.annot src/plugins/wp/LogicUsage.annot src/plugins/wp/RefUsage.annot src/plugins/wp/Layout.annot src/
    plugins/wp/Region.annot src/plugins/wp/RegionAnnot.annot src/plugins/wp/RegionAccess.annot src/plugins/wp/RegionDump.annot src/plugins/wp/RegionAnalysis.annot src/plugins/wp/normAtLabels.annot src/plugins/wp/wpPropId.annot src/plugins/wp/Lang.annot src/
    plugins/wp/Repr.annot src/plugins/wp/Matrix.annot
    src/plugins/wp/Passive.annot src/plugins/wp/Splitter.annot src/plugins/wp/LogicBuiltins.annot src/plugins/wp/Definitions.annot src/plugins/wp/Cmath.annot src/plugins/wp/Cint.annot src/plugins/wp/Cfloat.annot src/plugins/wp/Vset.annot src/plugins/wp/
    Vlist.annot src/plugins/wp/Cstring.annot src/plugins/wp/Cvalues.annot src/plugins/wp/Letify.annot src/plugins/wp/Cleaning.annot src/plugins/wp/Mstate.annot src/plugins/wp/Conditions.annot src/plugins/wp/Filtering.annot src/plugins/wp/Plang.annot src/
    plugins/wp/Pcfg.annot src/plugins/wp/Pcond.annot src/plugins/wp/CodeSemantics.annot src/plugins/wp/LogicCompiler.annot src/plugins/wp/LogicSemantics.annot src/plugins/wp/LogicAssigns.annot src/plugins/wp/Sigma.annot src/plugins/wp/MemLoader.annot src/
    plugins/wp/MemDebug.annot src/plugins/wp/MemEmpty.annot
    src/plugins/wp/MemZeroAlias.annot src/plugins/wp/MemVar.annot src/plugins/wp/MemMemory.annot src/plugins/wp/MemTyped.annot src/plugins/wp/MemRegion.annot src/plugins/wp/MemVal.annot src/plugins/wp/wpReached.annot src/plugins/wp/wpRTE.annot src/plugins/
    wp/wpTarget.annot src/plugins/wp/CfgCompiler.annot src/plugins/wp/StmtSemantics.annot src/plugins/wp/VCS.annot src/plugins/wp/script.annot src/plugins/wp/wpo.annot src/plugins/wp/wpReport.annot src/plugins/wp/Footprint.annot src/plugins/wp/Tactical.annot
    src/plugins/wp/Strategy.annot src/plugins/wp/TacClear.annot src/plugins/wp/TacSplit.annot src/plugins/wp/TacChoice.annot src/plugins/wp/TacRange.annot src/plugins/wp/TacInduction.annot src/plugins/wp/TacArray.annot src/plugins/wp/TacCompound.annot src/
    plugins/wp/TacUnfold.annot src/plugins/wp/TacHavoc.annot
    src/plugins/wp/TacInstance.annot src/plugins/wp/TacLemma.annot src/plugins/wp/TacFilter.annot src/plugins/wp/TacCut.annot src/plugins/wp/WpTac.annot src/plugins/wp/TacNormalForm.annot src/plugins/wp/TacRewrite.annot src/plugins/wp/TacBitwised.annot src/
    plugins/wp/TacBitrange.annot src/plugins/wp/TacBittest.annot src/plugins/wp/TacModMask.annot src/plugins/wp/TacShift.annot src/plugins/wp/TacSequence.annot src/plugins/wp/TacCongruence.annot src/plugins/wp/TacOverflow.annot src/plugins/wp/Auto.annot src/
    plugins/wp/ProofSession.annot src/plugins/wp/ProofScript.annot src/plugins/wp/ProofEngine.annot src/plugins/wp/ProverTask.annot src/plugins/wp/filter_axioms.annot src/plugins/wp/Cache.annot src/plugins/wp/ProverWhy3.annot src/plugins/wp/driver.annot src/
    plugins/wp/prover.annot src/plugins/wp/ProverSearch.annot
    src/plugins/wp/ProverScript.annot src/plugins/wp/Factory.annot src/plugins/wp/cfgInit.annot src/plugins/wp/cfgAnnot.annot src/plugins/wp/cfgInfos.annot src/plugins/wp/cfgCalculus.annot src/plugins/wp/cfgDump.annot src/plugins/wp/cfgWP.annot src/plugins/
    wp/cfgGenerator.annot src/plugins/wp/Generator.annot src/plugins/wp/register.annot src/plugins/wp/VC.annot src/plugins/wp/GuiConfig.annot src/plugins/wp/GuiList.annot src/plugins/wp/GuiSequent.annot src/plugins/wp/GuiProver.annot src/plugins/wp/GuiTactic.
    annot src/plugins/wp/GuiProof.annot src/plugins/wp/GuiComposer.annot src/plugins/wp/GuiGoal.annot src/plugins/wp/GuiSource.annot src/plugins/wp/GuiPanel.annot src/plugins/wp/GuiNavigator.annot
    rm -f src/plugins/wp/rformat.o src/plugins/wp/wprop.o src/plugins/wp/wp_parameters.o src/plugins/wp/wp_error.o src/plugins/wp/Why3Provers.o src/plugins/wp/Context.o src/plugins/wp/Warning.o src/plugins/wp/dyncall.o src/plugins/wp/ctypes.o src/plugins/
    wp/clabels.o src/plugins/wp/AssignsCompleteness.o src/plugins/wp/MemoryContext.o src/plugins/wp/wpContext.o src/plugins/wp/LogicUsage.o src/plugins/wp/RefUsage.o src/plugins/wp/Layout.o src/plugins/wp/Region.o src/plugins/wp/RegionAnnot.o src/plugins/wp/
    RegionAccess.o src/plugins/wp/RegionDump.o src/plugins/wp/RegionAnalysis.o src/plugins/wp/normAtLabels.o src/plugins/wp/wpPropId.o src/plugins/wp/Lang.o src/plugins/wp/Repr.o src/plugins/wp/Matrix.o src/plugins/wp/Passive.o src/plugins/wp/Splitter.o src/
    plugins/wp/LogicBuiltins.o src/plugins/wp/Definitions.o
    src/plugins/wp/Cmath.o src/plugins/wp/Cint.o src/plugins/wp/Cfloat.o src/plugins/wp/Vset.o src/plugins/wp/Vlist.o src/plugins/wp/Cstring.o src/plugins/wp/Cvalues.o src/plugins/wp/Letify.o src/plugins/wp/Cleaning.o src/plugins/wp/Mstate.o src/plugins/wp/
    Conditions.o src/plugins/wp/Filtering.o src/plugins/wp/Plang.o src/plugins/wp/Pcfg.o src/plugins/wp/Pcond.o src/plugins/wp/CodeSemantics.o src/plugins/wp/LogicCompiler.o src/plugins/wp/LogicSemantics.o src/plugins/wp/LogicAssigns.o src/plugins/wp/Sigma.o
    src/plugins/wp/MemLoader.o src/plugins/wp/MemDebug.o src/plugins/wp/MemEmpty.o src/plugins/wp/MemZeroAlias.o src/plugins/wp/MemVar.o src/plugins/wp/MemMemory.o src/plugins/wp/MemTyped.o src/plugins/wp/MemRegion.o src/plugins/wp/MemVal.o src/plugins/wp/
    wpReached.o src/plugins/wp/wpRTE.o src/plugins/wp/wpTarget.o
    src/plugins/wp/CfgCompiler.o src/plugins/wp/StmtSemantics.o src/plugins/wp/VCS.o src/plugins/wp/script.o src/plugins/wp/wpo.o src/plugins/wp/wpReport.o src/plugins/wp/Footprint.o src/plugins/wp/Tactical.o src/plugins/wp/Strategy.o src/plugins/wp/
    TacClear.o src/plugins/wp/TacSplit.o src/plugins/wp/TacChoice.o src/plugins/wp/TacRange.o src/plugins/wp/TacInduction.o src/plugins/wp/TacArray.o src/plugins/wp/TacCompound.o src/plugins/wp/TacUnfold.o src/plugins/wp/TacHavoc.o src/plugins/wp/TacInstance.
    o src/plugins/wp/TacLemma.o src/plugins/wp/TacFilter.o src/plugins/wp/TacCut.o src/plugins/wp/WpTac.o src/plugins/wp/TacNormalForm.o src/plugins/wp/TacRewrite.o src/plugins/wp/TacBitwised.o src/plugins/wp/TacBitrange.o src/plugins/wp/TacBittest.o src/
    plugins/wp/TacModMask.o src/plugins/wp/TacShift.o
    src/plugins/wp/TacSequence.o src/plugins/wp/TacCongruence.o src/plugins/wp/TacOverflow.o src/plugins/wp/Auto.o src/plugins/wp/ProofSession.o src/plugins/wp/ProofScript.o src/plugins/wp/ProofEngine.o src/plugins/wp/ProverTask.o src/plugins/wp/filter_
    axioms.o src/plugins/wp/Cache.o src/plugins/wp/ProverWhy3.o src/plugins/wp/driver.o src/plugins/wp/prover.o src/plugins/wp/ProverSearch.o src/plugins/wp/ProverScript.o src/plugins/wp/Factory.o src/plugins/wp/cfgInit.o src/plugins/wp/cfgAnnot.o src/
    plugins/wp/cfgInfos.o src/plugins/wp/cfgCalculus.o src/plugins/wp/cfgDump.o src/plugins/wp/cfgWP.o src/plugins/wp/cfgGenerator.o src/plugins/wp/Generator.o src/plugins/wp/register.o src/plugins/wp/VC.o src/plugins/wp/GuiConfig.o src/plugins/wp/GuiList.o
    src/plugins/wp/GuiSequent.o src/plugins/wp/GuiProver.o
    src/plugins/wp/GuiTactic.o src/plugins/wp/GuiProof.o src/plugins/wp/GuiComposer.o src/plugins/wp/GuiGoal.o src/plugins/wp/GuiSource.o src/plugins/wp/GuiPanel.o src/plugins/wp/GuiNavigator.o
    rm -f src/plugins/wp/*~ src/plugins/wp/*.cm* src/plugins/wp/*.o src/plugins/wp/*.annot
    rm -f
    rm -f -f src/plugins/wp/Wp.check_mli_exists
    rm -f tests/*/*.byte tests/*/*.opt tests/*/*.cm* \
    tests/dynamic/.cm* tests/*/*~ tests/*/#*
    rm -f tests/*/result/*.*
    rm -f frama_c_journal*
    rm -f *.log
    rm -f /<<PKGBUILDDIR>>/lib/plugins/*.mli /<<PKGBUILDDIR>>/lib/plugins/*.cm* /<<PKGBUILDDIR>>/lib/plugins/*.o /<<PKGBUILDDIR>>/lib/plugins/META.*
    rm -f /<<PKGBUILDDIR>>/lib/plugins/top/*.mli /<<PKGBUILDDIR>>/lib/plugins/top/*.cm* /<<PKGBUILDDIR>>/lib/plugins/top/*.o /<<PKGBUILDDIR>>/lib/plugins/top/*.a
    rm -f /<<PKGBUILDDIR>>/lib/plugins/gui/*.mli /<<PKGBUILDDIR>>/lib/plugins/gui/*.cm* /<<PKGBUILDDIR>>/lib/plugins/gui/*.o /<<PKGBUILDDIR>>/lib/plugins/gui/*.a
    rm -f lib/*.cm* lib/*.o lib/fc/*.cm* lib/fc/*.o lib/gui/*.cm* lib/*.cm*
    for d in . ptests /<<PKGBUILDDIR>>/lib/plugins src/plugins/pdg_types src/plugins/value_types src/libraries/stdlib src/libraries/utils src/libraries/project src/libraries/datatype src/kernel_internals/parsing src/kernel_internals/typing src/kernel_
    internals/runtime src/kernel_services/parsetree src/kernel_services/ast_data src/kernel_services/ast_queries src/kernel_services/ast_printing src/kernel_services/ast_building src/kernel_services/cmdline_parameters src/kernel_services/plugin_entry_points
    src/kernel_services/abstract_interp src/kernel_services/visitors src/kernel_services/analysis src/kernel_services/ast_transformations src/plugins/gui src/plugins/gui share; do \
    rm -f $d/*.cm* $d/*.o $d/*.a $d/*.annot $d/*~ $d/*.output \
    $d/*.annot $d/\#*; \
    done
    rm -f src/kernel_internals/parsing/clexer.ml src/kernel_internals/parsing/cparser.ml src/kernel_internals/parsing/cparser.mli src/kernel_internals/parsing/logic_lexer.ml src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_
    parser.mli src/kernel_internals/parsing/logic_preprocess.ml src/plugins/gui/GSourceView.ml src/plugins/gui/GSourceView.mli src/plugins/gui/dgraph_helper.ml src/plugins/gui/gtk_compat.ml src/plugins/gui/gtk_compat.ml src/kernel_internals/runtime/fc_config.
    ml src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml lib/fc/META.frama-c share/frama-c.rc ptests/ptests_config.ml tests/ptests_config tests/spec/preprocess_dos.c
    rm -f bin/toplevel.byte bin/viewer.byte \
    bin/ptests.byte bin/*.opt bin/toplevel.top
    make[2]: Leaving directory '/<<PKGBUILDDIR>>'
    rm -f -rf lib .depend
    make[1]: Leaving directory '/<<PKGBUILDDIR>>'
    dh_ocamlclean
    dh_clean
    dpkg-source -b .
    dpkg-source: info: using source format '3.0 (quilt)'
    dpkg-source: info: building frama-c using existing ./frama-c_20220511-manganese.orig.tar.gz
    dpkg-source: info: using patch list from debian/patches/series
    dpkg-source: warning: ignoring deletion of directory lib
    dpkg-source: warning: ignoring deletion of directory lib/gui
    dpkg-source: warning: ignoring deletion of directory lib/plugins
    dpkg-source: info: local changes detected, the modified files are:
    frama-c-20220511-manganese/share/Makefile.dynamic_config
    frama-c-20220511-manganese/src/plugins/aorai/Makefile
    frama-c-20220511-manganese/src/plugins/aorai/aorai_eva_analysis.ml
    frama-c-20220511-manganese/src/plugins/aorai/ltllexer.ml
    frama-c-20220511-manganese/src/plugins/aorai/ltlparser.ml
    frama-c-20220511-manganese/src/plugins/aorai/ltlparser.mli
    frama-c-20220511-manganese/src/plugins/aorai/ltlparser.output
    frama-c-20220511-manganese/src/plugins/aorai/promelalexer.ml
    frama-c-20220511-manganese/src/plugins/aorai/promelalexer_withexps.ml
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser.ml
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser.mli
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser.output
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.ml
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.mli
    frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.output
    frama-c-20220511-manganese/src/plugins/aorai/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/aorai/tests/test_config_prove
    frama-c-20220511-manganese/src/plugins/aorai/yalexer.ml
    frama-c-20220511-manganese/src/plugins/aorai/yaparser.ml
    frama-c-20220511-manganese/src/plugins/aorai/yaparser.mli
    frama-c-20220511-manganese/src/plugins/aorai/yaparser.output
    frama-c-20220511-manganese/src/plugins/dive/Makefile
    frama-c-20220511-manganese/src/plugins/e-acsl/Makefile
    frama-c-20220511-manganese/src/plugins/e-acsl/doc/doxygen/doxygen.cfg
    frama-c-20220511-manganese/src/plugins/e-acsl/src/local_config.ml
    frama-c-20220511-manganese/src/plugins/e-acsl/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/instantiate/Makefile
    frama-c-20220511-manganese/src/plugins/instantiate/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/loop_analysis/Makefile
    frama-c-20220511-manganese/src/plugins/markdown-report/Makefile
    frama-c-20220511-manganese/src/plugins/nonterm/Makefile
    frama-c-20220511-manganese/src/plugins/nonterm/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/obfuscator/Makefile
    frama-c-20220511-manganese/src/plugins/report/Makefile
    frama-c-20220511-manganese/src/plugins/report/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/security_slicing/Makefile
    frama-c-20220511-manganese/src/plugins/server/Makefile
    frama-c-20220511-manganese/src/plugins/server/Server.mli
    frama-c-20220511-manganese/src/plugins/studia/Makefile
    frama-c-20220511-manganese/src/plugins/value/Eva.mli
    frama-c-20220511-manganese/src/plugins/variadic/Makefile
    frama-c-20220511-manganese/src/plugins/variadic/tests/ptests_config
    frama-c-20220511-manganese/src/plugins/wp/Makefile
    frama-c-20220511-manganese/src/plugins/wp/driver.ml
    frama-c-20220511-manganese/src/plugins/wp/rformat.ml
    frama-c-20220511-manganese/src/plugins/wp/script.ml
    frama-c-20220511-manganese/src/plugins/wp/tests/ptests_config
    dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/frama-c_20220511-manganese-4.diff.QcX40D
    dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
    dpkg-source: info: you can integrate the local changes with dpkg-source --commit
    dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2

    E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.


    The full build log is available from: http://qa-logs.debian.net/2023/08/13/frama-c_20220511-manganese-4_unstable.log

    If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects

    If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)