Re: [Qemu-devel] [PATCH] i2c: Add asserts for second smbus i2c_start_transfer()

[Peter Maydell]

On 24 October 2016 at 16:10,  <address@hidden> wrote:
> From: Corey Minyard <address@hidden>
>
> Some SMBus operations restart the transfer to convert from
> write to read mode without an intervening i2c_end_transfer().
> The second call cannot fail, so the return code is unchecked,
> but this causes Coverity to complain.  So add some asserts
> and documentation about this.
>
> Signed-off-by: Corey Minyard <address@hidden>
> ---
>  hw/i2c/core.c  | 5 ++++-
>  hw/i2c/smbus.c | 6 +++---
>  2 files changed, 7 insertions(+), 4 deletions(-)
>
> I tested this with the IPMI SMbus driver for a while.
>
> diff --git a/hw/i2c/core.c b/hw/i2c/core.c
> index bd8f167..b9dea79 100644
> --- a/hw/i2c/core.c
> +++ b/hw/i2c/core.c
> @@ -88,7 +88,10 @@ int i2c_bus_busy(I2CBus *bus)
>      return !QLIST_EMPTY(&bus->current_devs);
>  }
>
> -/* Returns non-zero if the address is not valid.  */
> +/* Returns non-zero if the address is not valid.  If this is called
> +   again without an intervening i2c_end_transfer(), like in the SMBus
> +   case where the operation is switched from write to read, this
> +   function will not rescan the bus and thus cannot fail. */

A nit, but comment syntax convention in this file seems to be to have
this kind of long-comment:

/*
 * text text text
 * text text text
 */

>  /* TODO: Make this handle multiple masters.  */
>  int i2c_start_transfer(I2CBus *bus, uint8_t address, int recv)
>  {
> diff --git a/hw/i2c/smbus.c b/hw/i2c/smbus.c
> index 3979b3d..bf46d22 100644
> --- a/hw/i2c/smbus.c
> +++ b/hw/i2c/smbus.c
> @@ -248,7 +248,7 @@ int smbus_read_byte(I2CBus *bus, uint8_t addr, uint8_t 
> command)
>          return -1;
>      }
>      i2c_send(bus, command);
> -    i2c_start_transfer(bus, addr, 1);
> +    assert(!i2c_start_transfer(bus, addr, 1));

Better not to put expressions that have side-effects inside
assert() -- if the assert() is compiled out then the
expression inside it will never be evaluated...

thanks
-- PMM