5 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	3 years ago
markma	09fba4a0b5	0.0.1	3 years ago
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