[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#749227: kde4libs: wrong declaration of Solidlex_destroy



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: pgpBIMTq3WnIe.pgp
Description: PGP signature


Reply to: