Chandler Carruth 16e6bc23a1 [x86] Teach the builtin argument range check to allow invalid ranges in ...

dead code.

This is important for C++ templates that essentially compute the valid
input in a way that is constant and will cause all the invalid cases to
be dead code that is deleted. Code in the wild actually does this and
GCC also accepts these kinds of patterns so it is important to support
it.

To make this work, we provide a non-error path to diagnose these issues,
and use a default-error warning instead. This keeps the relatively
strict handling but prevents nastiness like SFINAE on these errors. It
also allows us to safely use the system to diagnose this only when it
occurs at runtime (in emitted code).

Entertainingly, this required fixing the syntax in various other ways
for the x86 test because we never bothered to diagnose that the returns
were invalid.

Since debugging these compile failures was super confusing, I've also
improved the diagnostic to actually say what the value was. Most of the
checks I've made ignore this to simplify maintenance, but I've checked
it in a few places to make sure the diagnsotic is working.

Depends on D48462. Without that, we might actually crash some part of
the compiler after bypassing the error here.

Thanks to Richard, Ben Kramer, and especially Craig Topper for all the
help here.

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

llvm-svn: 335309

2018-06-21 23:46:09 +00:00

..

AnalysisBasedWarnings.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

AttributeList.cpp

[Sema] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).

2018-02-20 02:16:28 +00:00

CMakeLists.txt

Enabling the /bigobj flag for SemaDeclAttr.cpp.

2017-05-12 14:30:49 +00:00

CodeCompleteConsumer.cpp

Optionally add code completion results for arrow instead of dot

2018-05-25 12:56:26 +00:00

CoroutineStmtBuilder.h

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

DeclSpec.cpp

[Fixed Point Arithmetic] Addition of the remaining fixed point types and their saturated equivalents

2018-06-14 14:53:51 +00:00

DelayedDiagnostic.cpp

[Sema] Make deprecation fix-it replace all multi-parameter ObjC method slots.

2018-03-29 17:34:09 +00:00

IdentifierResolver.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

JumpDiagnostics.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

MultiplexExternalSemaSource.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

Scope.cpp

Revert r335019 "Update NRVO logic to support early return (Attempt 2)"

2018-06-19 05:35:30 +00:00

ScopeInfo.cpp

[coroutines] Pass coro func args to promise ctor

2018-01-24 22:15:42 +00:00

Sema.cpp

[MS] Make sure __GetExceptionInfo works on types with no linkage

2018-06-20 21:12:20 +00:00

SemaAccess.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaAttr.cpp

Test commit; please ignore.

2018-05-26 02:29:14 +00:00

SemaCast.cpp

[OpenCL] Restrict various keywords in OpenCL C++ mode

2018-05-09 13:16:17 +00:00

SemaChecking.cpp

[x86] Teach the builtin argument range check to allow invalid ranges in

2018-06-21 23:46:09 +00:00

SemaCodeComplete.cpp

Optionally add code completion results for arrow instead of dot

2018-05-25 12:56:26 +00:00

SemaConsumer.cpp

…

SemaCoroutine.cpp

[coroutines] Pass implicit object parameter to promise ctor (fix BUG37604)

2018-05-28 18:08:47 +00:00

SemaCUDA.cpp

[CUDA] Check initializers of instantiated template variables.

2018-06-06 22:37:25 +00:00

SemaCXXScopeSpec.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaDecl.cpp

Revert r335019 "Update NRVO logic to support early return (Attempt 2)"

2018-06-19 05:35:30 +00:00

SemaDeclAttr.cpp

When a dependent alignas is applied to a non-dependent typedef,

2018-06-20 23:36:55 +00:00

SemaDeclCXX.cpp

Use cast instead of dyn_cast_or_null.

2018-06-20 22:56:59 +00:00

SemaDeclObjC.cpp

Sema: diagnose invalid catch parameter in ObjC

2018-05-20 19:26:44 +00:00

SemaExceptionSpec.cpp

[Fixed Point Arithmetic] Fixed Point Precision Bits and Fixed Point Literals

2018-06-20 17:19:40 +00:00

SemaExpr.cpp

[Fixed Point Arithmetic] Fixed Point Precision Bits and Fixed Point Literals

2018-06-20 17:19:40 +00:00

SemaExprCXX.cpp

Related to PR37768: improve diagnostics for class name shadowing.

2018-06-20 21:58:20 +00:00

SemaExprMember.cpp

[Sema][ObjC] Do not DiagnoseUseOfDecl in LookupMemberExpr

2018-05-24 01:01:43 +00:00

SemaExprObjC.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaFixItUtils.cpp

[Sema] Revert r329346 because of memory sanitizer failures.

2018-04-05 22:15:42 +00:00

SemaInit.cpp

Simplify. No behavior change.

2018-06-20 15:57:38 +00:00

SemaLambda.cpp

Revert r332470 (and corresponding tests in r332492).

2018-05-18 20:18:17 +00:00

SemaLookup.cpp

Change return value of trivial visibility check.

2018-06-07 03:20:30 +00:00

SemaObjCProperty.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaOpenMP.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaOverload.cpp

[Sema] Fix overloaded static functions for templates

2018-06-21 08:34:50 +00:00

SemaPseudoObject.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaStmt.cpp

Revert r335019 "Update NRVO logic to support early return (Attempt 2)"

2018-06-19 05:35:30 +00:00

SemaStmtAsm.cpp

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00

SemaStmtAttr.cpp

Now that C++17 is official (https://www.iso.org/standard/68564.html), start changing the C++1z terminology over to C++17. NFC intended, these are all mechanical changes.

2017-12-04 20:27:34 +00:00

SemaTemplate.cpp

Fix __uuidof handling on non-type template parameter in C++17

2018-05-17 15:26:37 +00:00

SemaTemplateDeduction.cpp

[Sema] When the address of a member function is used as a template

2018-06-13 05:26:23 +00:00

SemaTemplateInstantiate.cpp

[Sema] Produce diagnostics for attribute 'trivial_abi' that appears

2018-06-19 05:04:44 +00:00

SemaTemplateInstantiateDecl.cpp

Revert r335019 "Update NRVO logic to support early return (Attempt 2)"

2018-06-19 05:35:30 +00:00

SemaTemplateVariadic.cpp

[Fixed Point Arithmetic] Addition of the remaining fixed point types and their saturated equivalents

2018-06-14 14:53:51 +00:00

SemaType.cpp

[Sema] Allow creating types with multiple of the same addrspace.

2018-06-20 08:31:24 +00:00

TreeTransform.h

[Fixed Point Arithmetic] Fixed Point Precision Bits and Fixed Point Literals

2018-06-20 17:19:40 +00:00

TypeLocBuilder.cpp

[Sema] Fix bug in TypeLocBuilder::pushImpl

2016-02-18 21:05:09 +00:00

TypeLocBuilder.h

Remove \brief commands from doxygen comments.

2018-05-09 01:00:01 +00:00