[RISC-V] Avoid unnecessary extensions when value is already extended

[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / taint-modulus-1.c

#define SIZE 16
char buf[SIZE];

__attribute__ ((tainted_args))
char test_sanitized_by_modulus (int val)
{
  return buf[val % SIZE]; /* { dg-bogus "use of attacker-controlled value" } */
}