NoQ added a comment.

I like where this is going. Is there a plan to enable `ModelPOSIX` by default, 
at least on POSIX-compliant target triples?

I'm somewhat worried that some users may find null dereference warnings on 
`fopen()` more annoying than useful (though they're definitely more valuable 
than, say, a null dereference warning over `malloc()` which can technically 
fail but in practice it just doesn't). In any case, these warnings will need to 
be properly explained with notes, otherwise it's very likely that reports are 
going to be hard to understand.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D135247

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

Reply via email to