gcc/testsuite/c-c++-common/analyzer/taint-divisor-2.c

   1 #include "analyzer-decls.h"
   2
   3 __attribute__ ((tainted_args))
   4 double pr110700 (double x, double y)
   5 {
   6   /* Ideally we'd complain here with -Wanalyzer-tainted-divisor, but
   7      until we track conditions on floating point values, we can't check to
   8      see if they've been checked against zero.  */
   9   return x / y;
  10 }