On Wed, 2020-01-08 at 04:02 -0500, David Malcolm wrote: > Needs review. > > Although the comments say "experimental", there are followups (using > function_set) which make this much more production-ready than the > other sm-*.cc (other than malloc). > > Changed in v5: > - update ChangeLog path > - updated copyright years to include 2020 > > New in v4; part of: > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00214.html > with various fixups > > gcc/analyzer/ChangeLog: > * sm-signal.cc: New file. OK. Extending this one seems pretty trivial -- it's just checking for specific functions we know aren't safe, right?
jeff >
