Philip Reames 5127ff928b Extend the verifier to check usage of 'nonnull' metadata. ...

The recently added !nonnull metadata is only valid on loads of pointer type.  



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220323 91177308-0d34-0410-b5e6-96231b3b80d8

2014-10-21 20:56:29 +00:00

..

AsmWriter.cpp

Revert "Revert "DI: Fold constant arguments into a single MDString""

2014-10-03 20:01:09 +00:00

AsmWriter.h

…

AttributeImpl.h

…

Attributes.cpp

Revert accidentally committed r217107

2014-09-03 23:38:05 +00:00

AutoUpgrade.cpp

Move the complex address expression out of DIVariable and into an extra

2014-10-01 18:55:02 +00:00

BasicBlock.cpp

…

CMakeLists.txt

…

Comdat.cpp

…

ConstantFold.cpp

Return undef on FP <-> Int conversions that overflow (PR21330).

2014-10-10 23:00:21 +00:00

ConstantFold.h

…

ConstantRange.cpp

…

Constants.cpp

…

ConstantsContext.h

…

Core.cpp

[LLVM-C] Add LLVMInstructionClone.

2014-10-17 01:02:34 +00:00

DataLayout.cpp

Switch the default DataLayout to be little endian, and make the variable

2014-10-20 10:41:29 +00:00

DebugInfo.cpp

DI: Make comments "brief"-er, NFC

2014-10-15 17:01:28 +00:00

DebugLoc.cpp

Revert "Revert "DI: Fold constant arguments into a single MDString""

2014-10-03 20:01:09 +00:00

DiagnosticInfo.cpp

…

DiagnosticPrinter.cpp

Fix typos in comments, NFC

2014-08-29 21:53:01 +00:00

DIBuilder.cpp

DI: Use a DenseMap instead of named metadata, NFC

2014-10-15 16:11:41 +00:00

Dominators.cpp

…

Function.cpp

Moved out IIT_V64 from common values section.

2014-10-20 19:25:05 +00:00

GCOV.cpp

…

Globals.cpp

…

GVMaterializer.cpp

…

InlineAsm.cpp

[inline asm] Add a check in InlineAsm::ConstraintInfo::Parse to make sure '{'

2014-09-05 22:30:32 +00:00

Instruction.cpp

typo

2014-09-10 16:58:40 +00:00

Instructions.cpp

Teach the load analysis to allow finding available values which require

2014-10-21 09:00:40 +00:00

IntrinsicInst.cpp

…

IRBuilder.cpp

Add CreateAlignmentAssumption to IRBuilder

2014-10-15 23:44:22 +00:00

IRPrintingPasses.cpp

…

LeakDetector.cpp

…

LeaksContext.h

…

LegacyPassManager.cpp

…

LLVMBuild.txt

…

LLVMContext.cpp

Introduce enum values for previously defined metadata types. (NFC)

2014-10-21 00:13:20 +00:00

LLVMContextImpl.cpp

LTO: Ignore disabled diagnostic remarks

2014-10-01 18:36:03 +00:00

LLVMContextImpl.h

LTO: Ignore disabled diagnostic remarks

2014-10-01 18:36:03 +00:00

Makefile

…

Mangler.cpp

…

MDBuilder.cpp

…

Metadata.cpp

IR: Cleanup comments for Value, User, and MDNode

2014-10-15 20:28:31 +00:00

Module.cpp

Be more careful in parsing Module::ModFlagBehavior value

2014-09-08 19:16:28 +00:00

module.modulemap

…

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

[PM] Remove an unused and rather expensive mapping from an analysis

2014-10-06 00:30:59 +00:00

SymbolTableListTraitsImpl.h

…

Type.cpp

Consider addrspaces in canLosslesslyBitCastTo()

2014-08-31 19:19:57 +00:00

TypeFinder.cpp

…

Use.cpp

…

UseListOrder.cpp

…

User.cpp

IR: Cleanup comments for Value, User, and MDNode

2014-10-15 20:28:31 +00:00

Value.cpp

IR: Move NumOperands from User to Value, NFC

2014-10-15 20:39:05 +00:00

ValueSymbolTable.cpp

…

ValueTypes.cpp

…

Verifier.cpp

Extend the verifier to check usage of 'nonnull' metadata.

2014-10-21 20:56:29 +00:00