Package: kde4libs
Version: 4:4.13.1-1
Severity: minor
Usertags: goto-cc

During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder)
the build failed with the following error. Please note that we use our research
compiler tool-chain (using tools from the cbmc package), which permits extended
reporting on type inconsistencies at link time.

[...]
Linking CXX shared library ../../lib/libsolid.so
cd solid/solid && /usr/bin/cmake -E cmake_link_script 
CMakeFiles/solid.dir/link.txt --verbose=1
/usr/bin/c++  -fPIC -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat 
-Werror=format-security -D_FORTIFY_SOURCE=2 -D_FORTIFY_SOURCE=2  
-Wnon-virtual-dtor -Wno-long-long -Wundef -Wcast-align -Wchar-subscripts -Wall 
-W -Wpointer-arith -Wformat-security -fno-exceptions -DQT_NO_EXCEPTIONS 
-fno-check-new -fno-common -Woverloaded-virtual -fno-threadsafe-statics 
-fvisibility=hidden -Werror=return-type -fvisibility-inlines-hidden -DNDEBUG 
-DQT_NO_DEBUG -Wl,--enable-new-dtags -Wl,--fatal-warnings -Wl,--no-undefined 
-lc  -Wl,-z,relro -Wl,--as-needed -Wl,--no-undefined -shared 
-Wl,-soname,libsolid.so.4 -o ../../lib/libsolid.so.4.12.4 
CMakeFiles/solid.dir/solid_automoc.o CMakeFiles/solid.dir/networking.o 
CMakeFiles/solid.dir/solidnamespace.o CMakeFiles/solid.dir/managerbase.o 
CMakeFiles/solid.dir/device.o CMakeFiles/solid.dir/devicemanager.o 
CMakeFiles/solid.dir/deviceinterface.o CMakeFiles/solid.dir/genericinterface.o 
CMakeFiles/solid.dir/processor.o CMakeFiles/solid.dir/block.o 
CMakeFiles/solid.dir/storagedrive.o CMakeFiles/solid.dir/opticaldrive.o 
CMakeFiles/solid.dir/storagevolume.o CMakeFiles/solid.dir/opticaldisc.o 
CMakeFiles/solid.dir/storageaccess.o CMakeFiles/solid.dir/camera.o 
CMakeFiles/solid.dir/portablemediaplayer.o 
CMakeFiles/solid.dir/networkinterface.o CMakeFiles/solid.dir/networkshare.o 
CMakeFiles/solid.dir/serialinterface.o CMakeFiles/solid.dir/acadapter.o 
CMakeFiles/solid.dir/battery.o CMakeFiles/solid.dir/button.o 
CMakeFiles/solid.dir/audiointerface.o CMakeFiles/solid.dir/dvbinterface.o 
CMakeFiles/solid.dir/predicate.o CMakeFiles/solid.dir/predicateparse.o 
CMakeFiles/solid.dir/predicate_lexer.o CMakeFiles/solid.dir/predicate_parser.o 
CMakeFiles/solid.dir/powermanagement.o CMakeFiles/solid.dir/video.o 
CMakeFiles/solid.dir/smartcardreader.o CMakeFiles/solid.dir/internetgateway.o 
CMakeFiles/solid.dir/xdgbasedirs.o CMakeFiles/solid.dir/ifaces/acadapter.o 
CMakeFiles/solid.dir/ifaces/audiointerface.o 
CMakeFiles/solid.dir/ifaces/battery.o CMakeFiles/solid.dir/ifaces/block.o 
CMakeFiles/solid.dir/ifaces/button.o CMakeFiles/solid.dir/ifaces/camera.o 
CMakeFiles/solid.dir/ifaces/opticaldrive.o CMakeFiles/solid.dir/ifaces/device.o 
CMakeFiles/solid.dir/ifaces/deviceinterface.o 
CMakeFiles/solid.dir/ifaces/devicemanager.o 
CMakeFiles/solid.dir/ifaces/dvbinterface.o 
CMakeFiles/solid.dir/ifaces/genericinterface.o 
CMakeFiles/solid.dir/ifaces/networkinterface.o 
CMakeFiles/solid.dir/ifaces/networkshare.o 
CMakeFiles/solid.dir/ifaces/serialinterface.o 
CMakeFiles/solid.dir/ifaces/opticaldisc.o 
CMakeFiles/solid.dir/ifaces/portablemediaplayer.o 
CMakeFiles/solid.dir/ifaces/processor.o 
CMakeFiles/solid.dir/ifaces/storagedrive.o 
CMakeFiles/solid.dir/ifaces/storagevolume.o 
CMakeFiles/solid.dir/ifaces/storageaccess.o CMakeFiles/solid.dir/ifaces/video.o 
CMakeFiles/solid.dir/ifaces/smartcardreader.o 
CMakeFiles/solid.dir/ifaces/internetgateway.o 
CMakeFiles/solid.dir/backends/fakehw/fakeacadapter.o 
CMakeFiles/solid.dir/backends/fakehw/fakeaudiointerface.o 
CMakeFiles/solid.dir/backends/fakehw/fakebattery.o 
CMakeFiles/solid.dir/backends/fakehw/fakeblock.o 
CMakeFiles/solid.dir/backends/fakehw/fakebutton.o 
CMakeFiles/solid.dir/backends/fakehw/fakecamera.o 
CMakeFiles/solid.dir/backends/fakehw/fakecdrom.o 
CMakeFiles/solid.dir/backends/fakehw/fakedevice.o 
CMakeFiles/solid.dir/backends/fakehw/fakedeviceinterface.o 
CMakeFiles/solid.dir/backends/fakehw/fakedvbinterface.o 
CMakeFiles/solid.dir/backends/fakehw/fakegenericinterface.o 
CMakeFiles/solid.dir/backends/fakehw/fakemanager.o 
CMakeFiles/solid.dir/backends/fakehw/fakenetworkshare.o 
CMakeFiles/solid.dir/backends/fakehw/fakenetworkinterface.o 
CMakeFiles/solid.dir/backends/fakehw/fakeopticaldisc.o 
CMakeFiles/solid.dir/backends/fakehw/fakeportablemediaplayer.o 
CMakeFiles/solid.dir/backends/fakehw/fakeprocessor.o 
CMakeFiles/solid.dir/backends/fakehw/fakestorage.o 
CMakeFiles/solid.dir/backends/fakehw/fakestorageaccess.o 
CMakeFiles/solid.dir/backends/fakehw/fakevideo.o 
CMakeFiles/solid.dir/backends/fakehw/fakevolume.o 
CMakeFiles/solid.dir/backends/fakehw/fakesmartcardreader.o 
CMakeFiles/solid.dir/backends/shared/rootdevice.o 
CMakeFiles/solid.dir/backends/shared/cpufeatures.o 
CMakeFiles/solid.dir/backends/udev/utils.o 
CMakeFiles/solid.dir/backends/udev/udevdevice.o 
CMakeFiles/solid.dir/backends/udev/udevmanager.o 
CMakeFiles/solid.dir/backends/udev/udevdeviceinterface.o 
CMakeFiles/solid.dir/backends/udev/udevgenericinterface.o 
CMakeFiles/solid.dir/backends/udev/cpuinfo.o 
CMakeFiles/solid.dir/backends/udev/udevprocessor.o 
CMakeFiles/solid.dir/backends/udev/udevcamera.o 
CMakeFiles/solid.dir/backends/udev/udevvideo.o 
CMakeFiles/solid.dir/backends/udev/udevaudiointerface.o 
CMakeFiles/solid.dir/backends/udev/udevnetworkinterface.o 
CMakeFiles/solid.dir/backends/udev/udevserialinterface.o 
CMakeFiles/solid.dir/backends/udev/udevaudiointerface_p.o 
CMakeFiles/solid.dir/backends/udev/udevportablemediaplayer.o 
CMakeFiles/solid.dir/backends/udev/udevdvbinterface.o 
CMakeFiles/solid.dir/backends/udev/udevblock.o 
CMakeFiles/solid.dir/backends/udev/udevbutton.o 
CMakeFiles/solid.dir/backends/shared/udevqtclient.o 
CMakeFiles/solid.dir/backends/shared/udevqtdevice.o 
CMakeFiles/solid.dir/backends/hal/halacadapter.o 
CMakeFiles/solid.dir/backends/hal/halaudiointerface.o 
CMakeFiles/solid.dir/backends/hal/halbattery.o 
CMakeFiles/solid.dir/backends/hal/halblock.o 
CMakeFiles/solid.dir/backends/hal/halbutton.o 
CMakeFiles/solid.dir/backends/hal/halcamera.o 
CMakeFiles/solid.dir/backends/hal/halcdrom.o 
CMakeFiles/solid.dir/backends/hal/haldeviceinterface.o 
CMakeFiles/solid.dir/backends/hal/haldvbinterface.o 
CMakeFiles/solid.dir/backends/hal/halfstabhandling.o 
CMakeFiles/solid.dir/backends/hal/halgenericinterface.o 
CMakeFiles/solid.dir/backends/hal/haldevice.o 
CMakeFiles/solid.dir/backends/hal/halmanager.o 
CMakeFiles/solid.dir/backends/hal/halnetworkinterface.o 
CMakeFiles/solid.dir/backends/hal/halserialinterface.o 
CMakeFiles/solid.dir/backends/hal/halopticaldisc.o 
CMakeFiles/solid.dir/backends/hal/halportablemediaplayer.o 
CMakeFiles/solid.dir/backends/hal/halprocessor.o 
CMakeFiles/solid.dir/backends/hal/halstorageaccess.o 
CMakeFiles/solid.dir/backends/hal/halstorage.o 
CMakeFiles/solid.dir/backends/hal/halvideo.o 
CMakeFiles/solid.dir/backends/hal/halvolume.o 
CMakeFiles/solid.dir/backends/hal/halsmartcardreader.o 
CMakeFiles/solid.dir/backends/upower/upowermanager.o 
CMakeFiles/solid.dir/backends/upower/upowerdevice.o 
CMakeFiles/solid.dir/backends/upower/upowerbattery.o 
CMakeFiles/solid.dir/backends/upower/upoweracadapter.o 
CMakeFiles/solid.dir/backends/upower/upowerdeviceinterface.o 
CMakeFiles/solid.dir/backends/upower/upowergenericinterface.o 
CMakeFiles/solid.dir/backends/udisks2/udisksmanager.o 
CMakeFiles/solid.dir/backends/udisks2/udisksdevice.o 
CMakeFiles/solid.dir/backends/udisks2/udisksdevicebackend.o 
CMakeFiles/solid.dir/backends/udisks2/udisksblock.o 
CMakeFiles/solid.dir/backends/udisks2/udisksstoragevolume.o 
CMakeFiles/solid.dir/backends/udisks2/udisksdeviceinterface.o 
CMakeFiles/solid.dir/backends/udisks2/udisksopticaldisc.o 
CMakeFiles/solid.dir/backends/udisks2/udisksopticaldrive.o 
CMakeFiles/solid.dir/backends/udisks2/udisksstoragedrive.o 
CMakeFiles/solid.dir/backends/udisks2/udisksstorageaccess.o 
CMakeFiles/solid.dir/backends/udisks2/udisksgenericinterface.o 
CMakeFiles/solid.dir/backends/udisks2/dbus/manager.o 
CMakeFiles/solid.dir/backends/fstab/fstabmanager.o 
CMakeFiles/solid.dir/backends/fstab/fstabdevice.o 
CMakeFiles/solid.dir/backends/fstab/fstabnetworkshare.o 
CMakeFiles/solid.dir/backends/fstab/fstabstorageaccess.o 
CMakeFiles/solid.dir/backends/fstab/fstabhandling.o 
CMakeFiles/solid.dir/backends/fstab/fstabwatcher.o 
CMakeFiles/solid.dir/powermanagementinterface.o 
CMakeFiles/solid.dir/inhibitinterface.o 
CMakeFiles/solid.dir/policyagentinterface.o 
CMakeFiles/solid.dir/org_kde_solid_networking_client.o 
/usr/lib/x86_64-linux-gnu/libQtCore.so /usr/lib/x86_64-linux-gnu/libQtDBus.so 
/usr/lib/x86_64-linux-gnu/libQtXml.so /usr/lib/x86_64-linux-gnu/libQtGui.so 
-ludev 

error: conflicting function declarations "Solidlex_destroy"
old definition in module predicate_lexer file predicate_lexer.c line 1970
signed int (void *yyscanner)
new definition in module predicate_parser file predicate_parser.y line 15
signed int (void **)

make[4]: *** [lib/libsolid.so.4.12.4] Error 1
make[4]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-kde4libs/kde4libs-4.12.4/obj-x86_64-linux-gnu'
CMakeFiles/Makefile2:21857: recipe for target 
'solid/solid/CMakeFiles/solid.dir/all' failed
make[3]: *** [solid/solid/CMakeFiles/solid.dir/all] Error 2
make[3]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-kde4libs/kde4libs-4.12.4/obj-x86_64-linux-gnu'
Makefile:146: recipe for target 'all' failed
make[2]: *** [all] Error 2

Reviewing the definition here

http://sources.debian.net/src/kde4libs/4:4.13.1-1/solid/solid/predicate_lexer.c?hl=1970#L1970

it seems the good news is that the wrong declaration here

http://sources.debian.net/src/kde4libs/4:4.13.1-1/solid/solid/predicate_parser.y?hl=15#L15

is being worked around by a use that is inconsistent with this declaration, but
in line with the actual definition:

http://sources.debian.net/src/kde4libs/4:4.13.1-1/solid/solid/predicate_parser.y?hl=97#L97

Thus the fix is a simple as removing the "*" in line 15 of that file.

Best,
Michael

Attachment: pgpEQfpLvn9NQ.pgp
Description: PGP signature

Reply via email to