Lines Matching defs:fp

14 char *fgets(char *s, int n, FILE *fp) {
20   FILE *fp = fopen(fname, "r");
24   if (!fp)
27   (void)fgets(buf, 42, fp); // Trigger taint propagation.
28   // CHECK-NEXT: PreCall<fgets(buf, 42, fp)> prepares tainting arg index: -1
29   // CHECK-NEXT: PreCall<fgets(buf, 42, fp)> prepares tainting arg index: 0
30   // CHECK-NEXT: PreCall<fgets(buf, 42, fp)> prepares tainting arg index: 2
32   // CHECK-NEXT: PostCall<fgets(buf, 42, fp)> actually wants to taint arg index: -1
33   // CHECK-NEXT: PostCall<fgets(buf, 42, fp)> actually wants to taint arg index: 0
34   // CHECK-NEXT: PostCall<fgets(buf, 42, fp)> actually wants to taint arg index: 2