similar to: [LLVMdev] design for an accurate ODR-checker with clang

Displaying 20 results from an estimated 10000 matches similar to: "[LLVMdev] design for an accurate ODR-checker with clang"

2013 Jul 12
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at google.com> wrote: > Hi! A few of us over at Google think a nice feature in clang would be ODR violation checking, and we thought for a while about how to do this and wrote it down, but we aren't actively working on it at the moment nor plan to in the near future. I'm posting this to share our design and hopefully save anyone
2013 Jul 12
3
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at google.com> wrote: > > Hi! A few of us over at Google think a nice feature in clang would be > ODR violation checking, and we thought for a while about how to do this and > wrote it down, but we aren't actively working on it at the moment nor
2013 Jul 15
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: > On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at google.com> wrote: > > Hi! A few of us over at Google think a nice feature in clang would be ODR violation checking, and we thought for a while about how to do this and
2013 Jul 15
4
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Mon, Jul 15, 2013 at 3:12 PM, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: > > On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: > >> On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at google.com> wrote: >> > Hi! A few of us over at Google think a
2013 Jul 15
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Jul 15, 2013, at 3:20 PM, Richard Smith <richard at metafoo.co.uk> wrote: > On Mon, Jul 15, 2013 at 3:12 PM, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: >> On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: >> On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky
2013 Aug 05
2
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On 15 July 2013 15:12, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: > > On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: > >> On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at google.com> wrote: >> > Hi! A few of us over at Google think a nice feature
2013 Jul 15
1
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Mon, Jul 15, 2013 at 3:42 PM, John McCall <rjmccall at apple.com> wrote: > On Jul 15, 2013, at 3:20 PM, Richard Smith <richard at metafoo.co.uk> wrote: > > On Mon, Jul 15, 2013 at 3:12 PM, John McCall <rjmccall at apple.com> wrote: > >> On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: >> >> On 11 July 2013 18:02,
2013 Aug 05
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Aug 5, 2013, at 3:04 PM, Nick Lewycky <nlewycky at google.com> wrote: > On 15 July 2013 15:12, John McCall <rjmccall at apple.com> wrote: > On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: >> On 11 July 2013 18:02, John McCall <rjmccall at apple.com> wrote: >> On Jul 11, 2013, at 5:45 PM, Nick Lewycky <nlewycky at
2013 Aug 05
2
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On 5 August 2013 15:33, John McCall <rjmccall at apple.com> wrote: > On Aug 5, 2013, at 3:04 PM, Nick Lewycky <nlewycky at google.com> wrote: > > On 15 July 2013 15:12, John McCall <rjmccall at apple.com> wrote: > >> On Jul 11, 2013, at 6:13 PM, Nick Lewycky <nlewycky at google.com> wrote: >> >> On 11 July 2013 18:02, John McCall <rjmccall
2013 Aug 05
0
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
On Aug 5, 2013, at 4:43 PM, Nick Lewycky <nlewycky at google.com> wrote: > On 5 August 2013 15:33, John McCall <rjmccall at apple.com> wrote: > On Aug 5, 2013, at 3:04 PM, Nick Lewycky <nlewycky at google.com> wrote: >> On 15 July 2013 15:12, John McCall <rjmccall at apple.com> wrote: >> The same sorts of things that you were planning on hashing, but maybe
2017 Jun 07
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Wed, Jun 7, 2017 at 8:18 AM, David Blaikie <dblaikie at gmail.com> wrote: > Does this need LLVM support - or is there some generic representation that > could be used instead? (I guess LLVM would want to be aware of it when > merging modules though, so maybe it's worth having a first-class > representation - though LLVM module linking could special case a section > the
2017 Jun 10
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Sat, Jun 10, 2017 at 11:00 AM, Mehdi AMINI <joker.eph at gmail.com> wrote: > > > 2017-06-07 16:32 GMT-07:00 Peter Collingbourne via llvm-dev < > llvm-dev at lists.llvm.org>: > >> On Wed, Jun 7, 2017 at 8:18 AM, David Blaikie <dblaikie at gmail.com> wrote: >> >>> Does this need LLVM support - or is there some generic representation
2013 Jul 15
1
[LLVMdev] [cfe-dev] design for an accurate ODR-checker with clang
> Mmm. So you want to warn the user that two libraries using different > assertion settings both use the standard library? > > I think warning about actual differences in code, as opposed to differences > in type/vtable layout, is going to be pretty fraught with uninteresting > positives, but if you want to chase that rabbit, it's your time spent. It's probably
2017 Jun 07
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Wed, Jun 7, 2017 at 12:17 AM, Sean Silva <chisophugis at gmail.com> wrote: > Very nice and simple implementation! > > Do you have any statistics on how large these odr tables are compared to > other object file data? I assume that if these tables contain full mangled > symbol names, they could end up being very large and may want to share the > symbol name strings with
2017 Jun 07
8
RFC: ODR checker for Clang and LLD
Hi all, I'd like to propose an ODR checker feature for Clang and LLD. The feature would be similar to gold's --detect-odr-violations feature, but better: we can rely on integration with clang to avoid relying on debug info and to perform more precise matching. The basic idea is that we use clang's ability to create ODR hashes for declarations. ODR hashes are computed using all
2017 Jun 08
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Wed, Jun 7, 2017 at 8:06 PM, Sean Silva <chisophugis at gmail.com> wrote: > > > On Wed, Jun 7, 2017 at 4:31 PM, Peter Collingbourne <peter at pcc.me.uk> > wrote: > >> On Wed, Jun 7, 2017 at 12:17 AM, Sean Silva <chisophugis at gmail.com> >> wrote: >> >>> Very nice and simple implementation! >>> >>> Do you have any
2017 Jun 14
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Tue, Jun 13, 2017 at 6:34 PM Peter Collingbourne via cfe-dev < cfe-dev at lists.llvm.org> wrote: > On Wed, Jun 7, 2017 at 11:28 PM, Peter Collingbourne <peter at pcc.me.uk> > wrote: > >> On Wed, Jun 7, 2017 at 8:06 PM, Sean Silva <chisophugis at gmail.com> wrote: >> >>> >>> >>> On Wed, Jun 7, 2017 at 4:31 PM, Peter Collingbourne
2017 Jun 15
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Thu, Jun 15, 2017 at 10:44 AM, David Blaikie <dblaikie at gmail.com> wrote: > > > On Thu, Jun 15, 2017 at 10:20 AM Peter Collingbourne <peter at pcc.me.uk> > wrote: > >> On Thu, Jun 15, 2017 at 1:14 AM, James Henderson < >> jh7370.2008 at my.bristol.ac.uk> wrote: >> >>> I agree with Dave here. In the environment I work in, we
2017 Jun 15
4
[cfe-dev] RFC: ODR checker for Clang and LLD
Is the entry in your ODR table 64-bit? Sean mentioned that this is a birthday paradox situation, but I don't think we need that large hash values, as our aim is not to avoid any collisions. Small number of collisions is okay as it just slightly increases false negatives. I think it can even be 16-bit if space saving is important. If we choose 16-bit hash, the probability that an ODR violation
2017 Jun 14
2
[cfe-dev] RFC: ODR checker for Clang and LLD
On Tue, Jun 13, 2017 at 8:43 PM Peter Collingbourne <peter at pcc.me.uk> wrote: > On Tue, Jun 13, 2017 at 7:54 PM, David Blaikie <dblaikie at gmail.com> wrote: > >> >> >> On Tue, Jun 13, 2017 at 6:34 PM Peter Collingbourne via cfe-dev < >> cfe-dev at lists.llvm.org> wrote: >> >>> On Wed, Jun 7, 2017 at 11:28 PM, Peter Collingbourne