CuriousGeorgiy added a comment.

@MitalAshok

> Instead of checking for hard-coded names, you can check functions with the 
> format(printf, x, y) attribute

@NoQ pointed out this is too generic, and we should go for a case-by-case 
approach.

> You also have to check for pointer types first. This currently warns on 
> printf("%d", 0), since 0 is a null pointer constant

Fixed, thanks for spotting!

> Also this only works for null pointer *constants*.

No, it works for symbolic values too, please look at the test cases.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D154838/new/

https://reviews.llvm.org/D154838

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to