arch/powerpc/xmon/dis-asm.h: 2 * wrong specifiers ?

Hello there,

linux-4.7-rc5/arch/powerpc/xmon/dis-asm.h:20]: (warning) %x in format
string (no. 1) requires 'unsigned int' but the argument type is
'unsigned long'.
[linux-4.7-rc5/arch/powerpc/xmon/dis-asm.h:26]: (warning) %x in format
string (no. 1) requires 'unsigned int' but the argument type is
'unsigned long'.

Source code is

static inline int print_insn_powerpc(unsigned long insn, unsigned long memaddr)
{
    printf("%.8x", insn);
    return 0;
}

static inline int print_insn_spu(unsigned long insn, unsigned long memaddr)
{
    printf("%.8x", insn);
    return 0;
}

Regards

David Binderman

On Mon, 2016-06-27 at 09:04 +0100, David Binderman wrote:

Hello there,

linux-4.7-rc5/arch/powerpc/xmon/dis-asm.h:20]: (warning) %x in format
string (no. 1) requires 'unsigned int' but the argument type is
'unsigned long'.
[linux-4.7-rc5/arch/powerpc/xmon/dis-asm.h:26]: (warning) %x in format
string (no. 1) requires 'unsigned int' but the argument type is
'unsigned long'.

What config / toolchain are you using? I've never seen these.

Oh, I see, with CONFIG_XMON_DISASSEMBLY=n.

static inline int print_insn_powerpc(unsigned long insn, unsigned long memaddr)
{
    printf("%.8x", insn);
    return 0;
}

Send me a patch to cast insn to unsigned int?

cheers

Hello there,

On Tue, Jun 28, 2016 at 5:08 AM, Michael Ellerman [off-list ref] wrote:

What config / toolchain are you using? I've never seen these.

A static analyser for C & C++ called cppcheck. Available from sourceforge.

I think you can also get a similar warning if you tweek the gcc compiler warning
flags. -Wformat=2 maybe.

quoted

static inline int print_insn_powerpc(unsigned long insn, unsigned long memaddr)
{
    printf("%.8x", insn);
    return 0;
}

Send me a patch to cast insn to unsigned int?

I don't know the code, but given that insn is unsigned long and so can go
past 32 bits, using a cast to unsigned int might throw away the
possibly important
upper bits.


Regards

David Binderman

On Tue, 2016-06-28 at 08:06 +0100, David Binderman wrote:

On Tue, Jun 28, 2016 at 5:08 AM, Michael Ellerman [off-list ref] wrote:

quoted

What config / toolchain are you using? I've never seen these.

A static analyser for C & C++ called cppcheck. Available from sourceforge.

I think you can also get a similar warning if you tweek the gcc compiler warning
flags. -Wformat=2 maybe.

 
Ah OK. I've heard of it.

quoted

quoted

static inline int print_insn_powerpc(unsigned long insn, unsigned long memaddr)
{
    printf("%.8x", insn);
    return 0;
}

Send me a patch to cast insn to unsigned int?

I don't know the code, but given that insn is unsigned long and so can go
past 32 bits, using a cast to unsigned int might throw away the
possibly important upper bits.

powerpc instructions are always 32-bit.

We could change the signature for the function to take u32. Except it's the
fallback implementation for the real version which comes from binutils and we'd
prefer to keep that code the same as the binutils version.

cheers

On Tue, Jun 28, 2016 at 08:06:56AM +0100, David Binderman wrote:

I think you can also get a similar warning if you tweek the gcc compiler warning
flags. -Wformat=2 maybe.

-Wformat=1 (which is enabled by -Wall) already warns for this.

warning: format '%x' expects argument of type 'unsigned int', but argument 2 has type 'long unsigned int' [-Wformat=]


Segher

On Tue, 2016-06-28 at 08:06 +0100, David Binderman wrote:

I don't know the code, but given that insn is unsigned long and so
can go
past 32 bits, using a cast to unsigned int might throw away the
possibly important
upper bits.

our instructions are only ever 32-bits. That xmon code is ancient and
originated from 32-bits stuff. In fact some of Paulus earliest xmons
might even have run on platforms where int is 16 bits :-)

Cheers,
Ben.