[PATCH v42 78/98] hw/sd/sdcard: Remove default case in read/write on DAT lines

Philippe Mathieu-Daudé posted 98 patches 2 months, 2 weeks ago
Maintainers: "Philippe Mathieu-Daudé" <philmd@linaro.org>, Bin Meng <bmeng.cn@gmail.com>, Tyrone Ting <kfting@nuvoton.com>, Hao Wu <wuhaotsh@google.com>, Thomas Huth <thuth@redhat.com>, Laurent Vivier <lvivier@redhat.com>, Paolo Bonzini <pbonzini@redhat.com>
There is a newer version of this series
[PATCH v42 78/98] hw/sd/sdcard: Remove default case in read/write on DAT lines
Posted by Philippe Mathieu-Daudé 2 months, 2 weeks ago
All read/write on DAT lines are explicitly handled.
Reaching this point would be a programming error:
replace by an assertion.

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
---
 hw/sd/sd.c | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/hw/sd/sd.c b/hw/sd/sd.c
index 0a7b422b2c..64621d4340 100644
--- a/hw/sd/sd.c
+++ b/hw/sd/sd.c
@@ -1951,7 +1951,6 @@ int sd_do_command(SDState *sd, SDRequest *req,
         /* Valid command, we can update the 'state before command' bits.
          * (Do this now so they appear in r1 responses.)
          */
-        sd->current_cmd = req->cmd;
         sd->card_status = FIELD_DP32(sd->card_status, CSR,
                                      CURRENT_STATE, last_state);
     }
@@ -2016,6 +2015,8 @@ send_response:
     qemu_hexdump(stderr, "Response", response, rsplen);
 #endif
 
+    sd->current_cmd = rtype == sd_illegal ? 0 : req->cmd;
+
     return rsplen;
 }
 
@@ -2171,8 +2172,7 @@ void sd_write_byte(SDState *sd, uint8_t value)
         break;
 
     default:
-        qemu_log_mask(LOG_GUEST_ERROR, "%s: unknown command\n", __func__);
-        break;
+        g_assert_not_reached();
     }
 }
 
@@ -2238,8 +2238,7 @@ uint8_t sd_read_byte(SDState *sd)
         break;
 
     default:
-        qemu_log_mask(LOG_GUEST_ERROR, "%s: unknown command\n", __func__);
-        return 0x00;
+        g_assert_not_reached();
     }
 
     return ret;
-- 
2.41.0


Re: [SPAM] [PATCH v42 78/98] hw/sd/sdcard: Remove default case in read/write on DAT lines
Posted by Cédric Le Goater 2 months, 2 weeks ago
On 6/28/24 9:01 AM, Philippe Mathieu-Daudé wrote:
> All read/write on DAT lines are explicitly handled.
> Reaching this point would be a programming error:
> replace by an assertion.
> 
> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>


Reviewed-by: Cédric Le Goater <clg@redhat.com>

Thanks,

C.


> ---
>   hw/sd/sd.c | 9 ++++-----
>   1 file changed, 4 insertions(+), 5 deletions(-)
> 
> diff --git a/hw/sd/sd.c b/hw/sd/sd.c
> index 0a7b422b2c..64621d4340 100644
> --- a/hw/sd/sd.c
> +++ b/hw/sd/sd.c
> @@ -1951,7 +1951,6 @@ int sd_do_command(SDState *sd, SDRequest *req,
>           /* Valid command, we can update the 'state before command' bits.
>            * (Do this now so they appear in r1 responses.)
>            */
> -        sd->current_cmd = req->cmd;
>           sd->card_status = FIELD_DP32(sd->card_status, CSR,
>                                        CURRENT_STATE, last_state);
>       }
> @@ -2016,6 +2015,8 @@ send_response:
>       qemu_hexdump(stderr, "Response", response, rsplen);
>   #endif
>   
> +    sd->current_cmd = rtype == sd_illegal ? 0 : req->cmd;
> +
>       return rsplen;
>   }
>   
> @@ -2171,8 +2172,7 @@ void sd_write_byte(SDState *sd, uint8_t value)
>           break;
>   
>       default:
> -        qemu_log_mask(LOG_GUEST_ERROR, "%s: unknown command\n", __func__);
> -        break;
> +        g_assert_not_reached();
>       }
>   }
>   
> @@ -2238,8 +2238,7 @@ uint8_t sd_read_byte(SDState *sd)
>           break;
>   
>       default:
> -        qemu_log_mask(LOG_GUEST_ERROR, "%s: unknown command\n", __func__);
> -        return 0x00;
> +        g_assert_not_reached();
>       }
>   
>       return ret;