Displaying 2 results from an estimated 2 matches for "l1186".
Did you mean:
1186
2020 Sep 25
3
Why does a DISubprogram need to be distinct?
...field, definition
DISubprograms do have a unit: field that refers to a (itself distinct)
DICompileUnit)
> We actually had a weaker form of the check I added to Verifier already in place (https://github.com/llvm/llvm-project/blob/51cad041e0cb26597c7ccc0fbfaa349b8fffbcda/llvm/lib/IR/Verifier.cpp#L1186), but it didn't cover the specific testcase I added in https://reviews.llvm.org/rGe17f52d623cc146b7d9bf5a2e02965043508b4c4.
>
> -- adrian
2020 Sep 25
2
Why does a DISubprogram need to be distinct?
I saw
https://reviews.llvm.org/rGe17f52d623cc146b7d9bf5a2e02965043508b4c4#949392
"Add a verifier check that rejects non-distinct DISubprogram function"
(which has currently be reverted)
today which made me wonder why a DISubprogram needs to be distinct?
David told me the following and encouraged me to ask in the upstream:
> May be historical at this point, I'm not quite sure. (I