Your message dated Wed, 2 May 2012 22:46:22 +0100
with message-id
<CAPQ4b8kXK69--84GHp3M=9dqy7k8uo_1qwjfazlgcqt+phm...@mail.gmail.com>
and subject line Closing obsolete/orphan bugs
has caused the Debian Bug report #577621,
regarding gcc-4.4-plugin-dev: accepts non-GPL plugins
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
577621: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577621
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gcc-4.4-plugin-dev
Version: 4.4.3-7
Severity: normal
According to the GCC plugin documentation plugins should declare a symbol
plugin_is_GPL_compatible.
However the gcc-4.4 in Debian loads the plugin regardless.
To reproduce:
$ cat >testcase.c <<EOF
#include <gcc-plugin.h>
int plugin_init(struct plugin_name_args *plugin_info,
struct plugin_gcc_version *version)
{ return 0; }
EOF
$ gcc -fPIC -DPIC -shared -o testcase.so testcase.c -I`gcc
-print-file-name=plugin`/include
$ gcc -fplugin=./testcase.so -c -x c /dev/null
$ echo $?
0
gcc-4.5 correctly rejects the plugin:
$ gcc-4.5 -fplugin=./testcase.so -c -x c /dev/null
cc1: fatal error: plugin ./testcase.so is not licensed under a GPL-compatible
license
./testcase.so: undefined symbol: plugin_is_GPL_compatible
compilation terminated.
I think this is a bug in Debian's backport of the plugin to gcc-4.4.
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (990, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.34-rc3-00138-gecb385a (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages gcc-4.4-plugin-dev depends on:
ii gcc-4.4 4.4.3-7 The GNU C compiler
ii gcc-4.4-base 4.4.3-7 The GNU Compiler Collection (base
ii libgmp3-dev 2:4.3.2+dfsg-1 Multiprecision arithmetic library
gcc-4.4-plugin-dev recommends no packages.
gcc-4.4-plugin-dev suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Hello,
Thanks for the detailed bug report and your interest in improving
Debian. Sorry that the bug was unattended for so long. I'm just
doing some cleanup, I am not involved with the GCC package.
The GCC version that you mention is not in any of the distributions
(oldstable, stable, testing, unstable) at this moment, all of them
have >=4.4.5, and the package gcc-4.4-plugin-dev doesn't seem to
exist, the bug is orphan now.
Furthermore, I cannot find the file gcc-plugin.h in any package
currently in Debian, so I cannot even try to reproduce it with recent
versions of the compiler.
So I think that the bug can be closed by now, doing it. Please reopen
(or create a new bug) and assign to the proper package if the reasons
that caused you to report the problem are still present.
Cheers.
--- End Message ---
