infer_clone

Author SHA1 Message Date

Author	SHA1	Message	Date
Jules Villard	4c48b79f6c	[siof] detect constexpr for all procedures Summary: Previously we were only taking constexpr into account on constructors. Add this info to ProcAttributes.t instead by exporting it from the plugin for all functions. This allows SIOF to take constexpr into account in more cases as it's not always good at capturing which functions can be constexpr-evaluated, which caused false positives. Delete now-useless is_constexpr in constructor types. This generated the changes in frontend tests. Some minor renamings of variants of is_const_expr -> is_constexpr. Reviewed By: da319 Differential Revision: D27503433 fbshipit-source-id: 3d1972900	4 years ago
Martin Trojer	18f28395e8	[clang] migrate to llvm/clang11 Summary: Update Infer to LLVM (clang) 11.1.0. Infer/clang now uses the LLVM 'monorepo' release, simplifying the download script. Some changes done to how/when ASTExporter mangles names, this to avoid the plugin hitting asserts in the clang code when mangling names. Reviewed By: jvillard Differential Revision: D27006986 fbshipit-source-id: 4d4b6ba05	4 years ago
Martin Trojer	0ded7805c2	[FCP] copy facebook-clang-plugins files [2/N] Summary: Copy files from (clean commit) FCP [024a101](`024a101228`) repo to folder in infer repo (i.e. no longer a subrepo). Excluding all dotfiles except .gitingnore and .clang-format ``` $ git checkout https://github.com/facebook/facebook-clang-plugins.git $ mkdir ~/infer/facebook-clang-plugins $ cp -r facebook-clang-plugins/* ~/infer/facebook-clang-plugins/ Reviewed By: ngorogiannis Differential Revision: D23315608 fbshipit-source-id: 2fc38b25e	4 years ago

Jules Villard

[siof] detect constexpr for all procedures

Summary:
Previously we were only taking constexpr into account on constructors.
Add this info to ProcAttributes.t instead by exporting it from the
plugin for all functions.

This allows SIOF to take constexpr into account in more cases as it's not
always good at capturing which functions *can* be constexpr-evaluated,
which caused false positives.

Delete now-useless is_constexpr in constructor types. This generated the
changes in frontend tests.

Some minor renamings of variants of is_const_expr -> is_constexpr.

Reviewed By: da319

Differential Revision: D27503433

fbshipit-source-id: 3d1972900

Martin Trojer

18f28395e8

[clang] migrate to llvm/clang11

Summary:
Update Infer to LLVM (clang) 11.1.0.

Infer/clang now uses the LLVM 'monorepo' release, simplifying the download script.
Some changes done to how/when ASTExporter mangles names, this to avoid the
plugin hitting asserts in the clang code when mangling names.

Reviewed By: jvillard

Differential Revision: D27006986

fbshipit-source-id: 4d4b6ba05

Martin Trojer

0ded7805c2

[FCP] copy facebook-clang-plugins files [2/N]

Summary:
Copy files from (clean commit) FCP [024a101](024a101228) repo to folder in infer repo (i.e. no longer a subrepo).

Excluding all dotfiles except .gitingnore and .clang-format

```
$ git checkout https://github.com/facebook/facebook-clang-plugins.git
$ mkdir ~/infer/facebook-clang-plugins
$ cp -r facebook-clang-plugins/* ~/infer/facebook-clang-plugins/

Reviewed By: ngorogiannis

Differential Revision: D23315608

fbshipit-source-id: 2fc38b25e

3 Commits (a07c71352b7e4f084a354df80f74cde522dbb2f6)