This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] linux/fs.h - Convert debug functions declared inline __attribute__((format (printf,x,y) to statement expression macros
> -static inline void __attribute__((format(printf, 1, 2)))
> -__simple_attr_check_format(const char *fmt, ...)
It would be nice to have a testcase, but I guess it is because GCC can't
inline variadic functions. The function gets identified as const and
removed as unused by DCE, but this happens later (that is after early
inlining and before real inlining). GCC 4.0.3 didn't have early inliner
so it is probably where the difference is comming from.
One possibility to handle this side case would be to mark const
functions early during early optimization and only refine it using
Kenny's existing IPA pass that should turn this issue into no-op.
We probably also can simply allow inlining variadic functions not
calling va_start. I must say that this option appeared to me but I was
unable to think of any sane use case. This probably is one ;)
> - /* don't do anything, just let the compiler check the arguments; */
> int simple_attr_open(struct inode *inode, struct file *file,
> int (*get)(void *, u64 *), int (*set)(void *, u64),
> const char *fmt);
> The text size does become smaller:
> text data bss dec hex filename
> 5386111 846328 719560 6951999 6a143f vmlinux.before
> 5386047 846328 719560 6951935 6a13ff vmlinux.after
> gcc 4.0.3 maintains the same text size for both cases, while it appears
> gcc 4.1.3 and your version, 4.2.2, have this different behavior.