[PATCH] D57860: [analyzer] Validate checker option names and values

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, george.karpenkov, xazax.hun, rnkovacs, baloghadamsoftware.
Herald added subscribers: cfe-commits, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, whisperity.
Herald added a project: clang.

Validate whether the option exists, and also whether the supplied value is of the correct type.

This is the final part of the checker option refactoring. I guess we could arrange the `AnalyzerOptions` related changes to 5 "chapters":

1. Reimplement `-analyzer-config` options
2. Fix the checker naming bug by reimplementing checker dependencies
3. Reimplement checker options
4. (already in the works!) Document the frontend of the analyzer, sneak peak here <https://github.com/Szelethus/clang/blob/frontend_doc/docs/analyzer/developer-docs/analyzer_frontend.rst>.
5. (soon™) Make `AnalyzerOptions` const everywhere after the analyzer is initialized, make `AnalyzerOptions::ConfigTable` private, reimplement `debug.ConfigDumper`.


Repository:
  rC Clang

https://reviews.llvm.org/D57860

Files:
  include/clang/Basic/DiagnosticDriverKinds.td
  lib/StaticAnalyzer/Frontend/CheckerRegistry.cpp
  test/Analysis/invalid-checker-option.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D57860.185658.patch
Type: text/x-patch
Size: 6029 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190207/ea07029d/attachment.bin>