search for: odr_checking

Displaying 10 results from an estimated 10 matches for "odr_checking".

2013 Jul 12
2
[LLVMdev] design for an accurate ODR-checker with clang
...ives where the code is not conforming due to different points of instantiation in two translation units. We can skip uninstantiated templates since they don’t affect the behaviour of the program, and we need to visit the instantiations regardless. In LLVM IR, create a new named metadata node !llvm.odr_checking which contains a list of <mangled name, hash value> pairs. The names do not necessarily correspond to symbols, for instance, a class will have a hash value but does not have a corresponding symbol. For ease of implementation, names should be mangled per the C++ Itanium ABI (demanglable with c...
2013 Jul 12
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...the code is not conforming due to different points of instantiation in two translation units. We can skip uninstantiated templates since they don’t affect the behaviour of the program, and we need to visit the instantiations regardless. > > In LLVM IR, create a new named metadata node !llvm.odr_checking which contains a list of <mangled name, hash value> pairs. The names do not necessarily correspond to symbols, for instance, a class will have a hash value but does not have a corresponding symbol. For ease of implementation, names should be mangled per the C++ Itanium ABI (demanglable with c...
2013 Jul 12
3
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...ing due > to different points of instantiation in two translation units. We can skip > uninstantiated templates since they don’t affect the behaviour of the > program, and we need to visit the instantiations regardless. > > > > In LLVM IR, create a new named metadata node !llvm.odr_checking which > contains a list of <mangled name, hash value> pairs. The names do not > necessarily correspond to symbols, for instance, a class will have a hash > value but does not have a corresponding symbol. For ease of implementation, > names should be mangled per the C++ Itanium ABI...
2013 Jul 15
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...is not conforming due to different points of instantiation in two translation units. We can skip uninstantiated templates since they don’t affect the behaviour of the program, and we need to visit the instantiations regardless. > > > > In LLVM IR, create a new named metadata node !llvm.odr_checking which contains a list of <mangled name, hash value> pairs. The names do not necessarily correspond to symbols, for instance, a class will have a hash value but does not have a corresponding symbol. For ease of implementation, names should be mangled per the C++ Itanium ABI (demanglable with c...
2013 Jul 15
4
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...different points of instantiation in two translation units. We can skip >> uninstantiated templates since they don’t affect the behaviour of the >> program, and we need to visit the instantiations regardless. >> > >> > In LLVM IR, create a new named metadata node !llvm.odr_checking which >> contains a list of <mangled name, hash value> pairs. The names do not >> necessarily correspond to symbols, for instance, a class will have a hash >> value but does not have a corresponding symbol. For ease of implementation, >> names should be mangled per the...
2013 Aug 05
2
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...different points of instantiation in two translation units. We can skip >> uninstantiated templates since they don’t affect the behaviour of the >> program, and we need to visit the instantiations regardless. >> > >> > In LLVM IR, create a new named metadata node !llvm.odr_checking which >> contains a list of <mangled name, hash value> pairs. The names do not >> necessarily correspond to symbols, for instance, a class will have a hash >> value but does not have a corresponding symbol. For ease of implementation, >> names should be mangled per the...
2013 Jul 15
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...conforming due to different points of instantiation in two translation units. We can skip uninstantiated templates since they don’t affect the behaviour of the program, and we need to visit the instantiations regardless. >> > >> > In LLVM IR, create a new named metadata node !llvm.odr_checking which contains a list of <mangled name, hash value> pairs. The names do not necessarily correspond to symbols, for instance, a class will have a hash value but does not have a corresponding symbol. For ease of implementation, names should be mangled per the C++ Itanium ABI (demanglable with c...
2013 Jul 15
1
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...of instantiation in two translation units. We can skip >>> uninstantiated templates since they don’t affect the behaviour of the >>> program, and we need to visit the instantiations regardless. >>> > >>> > In LLVM IR, create a new named metadata node !llvm.odr_checking which >>> contains a list of <mangled name, hash value> pairs. The names do not >>> necessarily correspond to symbols, for instance, a class will have a hash >>> value but does not have a corresponding symbol. For ease of implementation, >>> names should be...
2013 Aug 05
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...conforming due to different points of instantiation in two translation units. We can skip uninstantiated templates since they don’t affect the behaviour of the program, and we need to visit the instantiations regardless. >> > >> > In LLVM IR, create a new named metadata node !llvm.odr_checking which contains a list of <mangled name, hash value> pairs. The names do not necessarily correspond to symbols, for instance, a class will have a hash value but does not have a corresponding symbol. For ease of implementation, names should be mangled per the C++ Itanium ABI (demanglable with c...
2013 Aug 05
2
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
...of instantiation in two translation units. We can skip >>> uninstantiated templates since they don’t affect the behaviour of the >>> program, and we need to visit the instantiations regardless. >>> > >>> > In LLVM IR, create a new named metadata node !llvm.odr_checking which >>> contains a list of <mangled name, hash value> pairs. The names do not >>> necessarily correspond to symbols, for instance, a class will have a hash >>> value but does not have a corresponding symbol. For ease of implementation, >>> names should be...