Gabor Greif 023f84ecaf Introduce a typing refinenement on tagged data ... using the 'volatile' qualifier. This should not have any operational consequences on code, because tags should always be stripped off (giving a non-volatile pointer) before dereferencing. The new qualification is there to catch some attempts to use tagged pointers in a context where an untagged pointer is appropriate. Notably this approach does not catch dereferencing of tagged pointers, but helps in separating the two concepts a bit. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57641 91177308-0d34-0410-b5e6-96231b3b80d8		2008-10-16 15:33:02 +00:00
..
AsmWriter.cpp
Attributes.cpp
AutoUpgrade.cpp
BasicBlock.cpp
CMakeLists.txt
ConstantFold.cpp
ConstantFold.h
Constants.cpp
Core.cpp
DebugInfoBuilder.cpp
Dominators.cpp
Function.cpp
Globals.cpp
InlineAsm.cpp
Instruction.cpp
Instructions.cpp
IntrinsicInst.cpp
LeakDetector.cpp
Makefile
Mangler.cpp
Module.cpp
ModuleProvider.cpp
Pass.cpp
PassManager.cpp
SymbolTableListTraitsImpl.h
Type.cpp
TypeSymbolTable.cpp
Use.cpp	Introduce a typing refinenement on tagged data	2008-10-16 15:33:02 +00:00
Value.cpp
ValueSymbolTable.cpp
ValueTypes.cpp
Verifier.cpp	Verify prefetch arguments, PR2576.	2008-10-16 06:00:36 +00:00