Adding a lint for Unconditional Recursion
commit258038a4fe442fd029bc4d3f4165b5cfee0ccf45
authorEesha Shekhar <eeshashekhar@fb.com>
Mon, 27 Jun 2022 17:48:52 +0000 (27 10:48 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 27 Jun 2022 17:48:52 +0000 (27 10:48 -0700)
tree870dff44bb6b9c2c4a0b30fe3ddb181a112adcc8
parent4cc5fb89a5c51ea3a5e9d4140a5b22bdda409fb9
Adding a lint for Unconditional Recursion

Summary: This produces a lint error of unconditional recursion when a function calls itself in its first statement. This function must not take any arguments.

Reviewed By: Wilfred

Differential Revision: D37381049

fbshipit-source-id: a24a9b2e6f19fd4202bf5b61e319272530392150
hphp/hack/src/lints/linter_unconditional_recursion.ml [new file with mode: 0644]
hphp/hack/src/lints/linting_main.ml
hphp/hack/src/lints/lints_codes.ml
hphp/hack/src/lints/lints_errors.ml
hphp/hack/test/lint/recursion_no_base_case.php [new file with mode: 0644]
hphp/hack/test/lint/recursion_no_base_case.php.exp [new file with mode: 0644]