SIL validation
This checker validates that all SIL instructions in all procedure bodies conform to a (front-end specific) subset of SIL.
Activate with --sil-validation.
Supported languages:
- C/C++/ObjC: No
- C#/.Net: No
- Erlang: No
- Hack: No
- Java: Yes
- Python: No
List of Issue Types
The following issue types are reported by this checker: