You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Ezgi Çiçek cec8cbeff2 [pre-analysis] Add models for `no_return` and handle throw-catch better ... Summary: - Add `no_return` models for Java's `exit(...)` methods (can be extended further later on) - handle throw-catch better by short-cutting throw nodes to not exit node but to all **catch nodes** that are reachable by the node. If there is no catch node, we short-cut to the exit node as before. This removes a FP from deadstore tests because before we simply were not able to handle CF from throw-> catch nodes at all. Reviewed By: skcho Differential Revision: D20769039 fbshipit-source-id: e978f6cdb		5 years ago
..
.inferconfig	[liveness] blacklist of dangerous classes	6 years ago
Makefile	[models] get rid of include-based C++ models	5 years ago
dead_stores.cpp	[pre-analysis] Add models for `no_return` and handle throw-catch better	5 years ago
dead_stores_constexpr.cpp	[copyright] Remove years	6 years ago
issues.exp	[pre-analysis] Add models for `no_return` and handle throw-catch better	5 years ago
non_type_template_param.cpp	[copyright] Remove years	6 years ago