| Message ID | 73859c9e-dea0-4764-bf01-7ae694fa2e37@kili.mountain (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | arm64: delete dead code in this_cpu_set_vectors() | expand |
On Wed, 19 Apr 2023 at 09:58, Dan Carpenter <dan.carpenter@linaro.org> wrote: > > The "slot" variable is an enum, and in this context it is an unsigned > int. So the type means it can never be negative and also we never pass > invalid data to this function. If something did pass invalid data then > this check would be insufficient protection. > > Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org> Acked-by: Ard Biesheuvel <ardb@kernel.org> > --- > arch/arm64/kernel/proton-pack.c | 3 --- > 1 file changed, 3 deletions(-) > > diff --git a/arch/arm64/kernel/proton-pack.c b/arch/arm64/kernel/proton-pack.c > index fca9cc6f5581..05f40c4e18fd 100644 > --- a/arch/arm64/kernel/proton-pack.c > +++ b/arch/arm64/kernel/proton-pack.c > @@ -966,9 +966,6 @@ static void this_cpu_set_vectors(enum arm64_bp_harden_el1_vectors slot) > { > const char *v = arm64_get_bp_hardening_vector(slot); > > - if (slot < 0) > - return; > - > __this_cpu_write(this_cpu_vector, v); > > /* > -- > 2.39.2 >
On Wed, 19 Apr 2023 10:58:43 +0300, Dan Carpenter wrote: > The "slot" variable is an enum, and in this context it is an unsigned > int. So the type means it can never be negative and also we never pass > invalid data to this function. If something did pass invalid data then > this check would be insufficient protection. > > Applied to arm64 (for-next/misc), thanks! [1/1] arm64: delete dead code in this_cpu_set_vectors() https://git.kernel.org/arm64/c/460e70e2dc9a Cheers,
diff --git a/arch/arm64/kernel/proton-pack.c b/arch/arm64/kernel/proton-pack.c index fca9cc6f5581..05f40c4e18fd 100644 --- a/arch/arm64/kernel/proton-pack.c +++ b/arch/arm64/kernel/proton-pack.c @@ -966,9 +966,6 @@ static void this_cpu_set_vectors(enum arm64_bp_harden_el1_vectors slot) { const char *v = arm64_get_bp_hardening_vector(slot); - if (slot < 0) - return; - __this_cpu_write(this_cpu_vector, v); /*
The "slot" variable is an enum, and in this context it is an unsigned int. So the type means it can never be negative and also we never pass invalid data to this function. If something did pass invalid data then this check would be insufficient protection. Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org> --- arch/arm64/kernel/proton-pack.c | 3 --- 1 file changed, 3 deletions(-)