llvm-project/clang/test
Artem Dergachev 3ccf14eb8e [analyzer] Add support for constructors of arguments.
Once CFG-side support for argument construction contexts landed in r338436,
the analyzer could make use of them to evaluate argument constructors properly.

When evaluated as calls, constructors of arguments now use the variable region
of the parameter as their target. The corresponding stack frame does not yet
exist when the parameter is constructed, and this stack frame is created
eagerly.

Construction of functions whose body is unavailable and of virtual functions
is not yet supported. Part of the reason is the analyzer doesn't consistently
use canonical declarations o identify the function in these cases, and every
re-declaration or potential override comes with its own set of parameter
declarations. Also it is less important because if the function is not
inlined, there's usually no benefit in inlining the argument constructor.

Differential Revision: https://reviews.llvm.org/D49443

llvm-svn: 339745
2018-08-15 00:33:55 +00:00
..
ARCMT [ObjC] Allow declaring __strong pointer fields in structs in Objective-C 2018-02-28 07:15:55 +00:00
ASTMerge [ASTImporter] Load external Decls when getting field index. 2018-08-08 09:40:57 +00:00
Analysis [analyzer] Add support for constructors of arguments. 2018-08-15 00:33:55 +00:00
CXX [Sema] P0961R1: Relaxing the structured bindings customization point finding rules 2018-08-09 20:11:13 +00:00
CodeCompletion [CodeComplete] Add a few extra tests for r333538. NFC 2018-06-01 09:49:53 +00:00
CodeGen [InlineAsm] Update the min-legal-vector-width function attribute based on inputs and outputs to inline assembly 2018-08-14 20:21:05 +00:00
CodeGenCUDA Try to make builtin address space declarations not useless 2018-08-02 12:14:28 +00:00
CodeGenCXX Enforce instantiation of template multiversion functions 2018-08-13 18:33:20 +00:00
CodeGenCoroutines [Coroutines] Less IR for noexcept await_resume 2018-06-23 18:57:26 +00:00
CodeGenObjC [gnu-objc] Make selector order deterministic. 2018-08-14 10:05:25 +00:00
CodeGenObjCXX [CodeGen] Merge equivalent block copy/helper functions. 2018-08-10 15:09:24 +00:00
CodeGenOpenCL AMDGPU: Add another missing builtin 2018-08-09 22:18:37 +00:00
Coverage Reapply "[Parse] Use CapturedStmt for @finally on MSVC" 2018-06-08 00:30:00 +00:00
CoverageMapping [OPENMP] Fix PR38256: Fix locations of the artificial conditional op. 2018-07-25 14:40:26 +00:00
Driver [XRay][clang] Add more test cases of -fxray-modes= (NFC) 2018-08-14 09:16:37 +00:00
FixIt [Sema] Add fixit for unused lambda captures 2018-07-16 07:23:47 +00:00
Format
Frontend [ADT] Normalize empty triple components 2018-08-08 22:23:57 +00:00
Headers [Headers] Define *_HAS_SUBNORM for FLT, DBL, LDBL 2018-08-08 20:38:38 +00:00
Import [ASTImporter] Added test case for opaque enums 2018-08-11 23:43:46 +00:00
Index [libclang 8/8] Add support for the flag_enum attribute 2018-08-03 05:55:40 +00:00
Integration
Layout NFC - Fix typo in test/Layout/itanium-pack-and-align.cpp 2018-07-04 11:21:44 +00:00
Lexer [CMake] Use normalized Windows target triples 2018-08-09 02:16:18 +00:00
Misc Refactor attribute printing to be a bit more obviously-correct. 2018-08-09 01:21:06 +00:00
Modules [CMake] Use normalized Windows target triples 2018-08-09 02:16:18 +00:00
OpenMP [OPENMP] Fix processing of declare target construct. 2018-08-14 18:31:20 +00:00
PCH [CodeGen] Merge equivalent block copy/helper functions. 2018-08-10 15:09:24 +00:00
Parser Append new attributes to the end of an AttributeList. 2018-08-03 01:21:16 +00:00
Preprocessor [Android] Increase default new alignment for Android 2018-08-01 17:55:34 +00:00
Profile [FileCheck] Add -allow-deprecated-dag-overlap to failing clang tests 2018-07-11 20:26:20 +00:00
Refactor
Rewriter Reapply "[Parse] Use CapturedStmt for @finally on MSVC" 2018-06-08 00:30:00 +00:00
Sema [Sema] fix -Wfloat-conversion test case. 2018-08-13 18:07:50 +00:00
SemaCUDA [CUDA][HIP] Allow function-scope static const variable 2018-07-28 03:05:25 +00:00
SemaCXX [SEMA] add more -Wfloat-conversion to compound assigment analysis 2018-08-13 16:38:07 +00:00
SemaObjC Clean up and simplify RequireCompleteType. 2018-08-07 21:35:41 +00:00
SemaObjCXX [Sema] Relax a failing assert in TemplateArgumentLoc 2018-07-31 00:18:30 +00:00
SemaOpenCL [OpenCL] Add test for constant sampler argument 2018-08-14 13:56:52 +00:00
SemaOpenCLCXX [OpenCL] Support new/delete in Sema 2018-06-14 09:51:54 +00:00
SemaTemplate [CMake] Use normalized Windows target triples 2018-08-09 02:16:18 +00:00
TableGen [Clang Tablegen][RFC] Allow Early Textual Substitutions in `Diagnostic` messages. 2018-05-19 03:12:04 +00:00
Templight
Tooling [lit, python] Always add quotes around the python path in lit 2018-08-06 22:37:45 +00:00
Unit
VFS [CMake] Use normalized Windows target triples 2018-08-09 02:16:18 +00:00
clang-rename
.clang-format
CMakeLists.txt [analyzer] Fix bots by removing new check-clang-analyzer commands from CHECK-ALL 2018-08-14 18:55:34 +00:00
TestRunner.sh
cxx-sections.data
lit.cfg.py [CMake] Use normalized Windows target triples 2018-08-09 02:16:18 +00:00
lit.site.cfg.py.in Fix lit fatal errors about requiring a USE_Z3_SOLVER param 2018-08-14 21:15:57 +00:00
make_test_dirs.pl