Merge remote-tracking branch 'remotes/origin/main' into split_rendering_formal_improvements

bounds:ivas_spar_decoder.c

bounds:trans_direct.c

bounds:trans_inv.c

float-cast-overflow:ivas_dirac_com.c

float-divide-by-zero:ivas_stereo_cng_dec.c

float-divide-by-zero:swb_tbe_enc.c

implicit-integer-sign-change:ACcontextMapping.c

implicit-integer-sign-change:avq_dec.c