https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #26 from Ville Voutilainen ---
(In reply to Jason Merrill from comment #25)
> And the ICE reduces to
>
> struct A {
> A(...);
> };
>
> int main()
> {
> volatile A a;
> volatile A a2(a);
> }
>
> which crashes from infinite rec
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #25 from Jason Merrill ---
And the ICE reduces to
struct A {
A(...);
};
int main()
{
volatile A a;
volatile A a2(a);
}
which crashes from infinite recursion trying to copy a for passing to So,
not an __is_trivially_cons
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #24 from Ville Voutilainen ---
(In reply to Jason Merrill from comment #23)
> (In reply to Ville Voutilainen from comment #22)
> > This test fails the static_assert for TType (which is a trivial type),
> > PODType and DelDef, and it w
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #23 from Jason Merrill ---
(In reply to Ville Voutilainen from comment #22)
> This test fails the static_assert for TType (which is a trivial type),
> PODType and DelDef, and it would be expected that all those static_asserts
> succee
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #22 from Ville Voutilainen ---
Created attachment 33664
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33664&action=edit
Preprocessed source for is_trivially_copy_constructible tests
This test fails the static_assert for TType
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #21 from Jason Merrill ---
(In reply to Ville Voutilainen from comment #20)
> template struct bool_
> {
> };
>
> template
> struct mytrait : bool_<__is_trivially_constructible(T, Args...)>
> {
> };
>
> template
> struct mytrait2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #20 from Ville Voutilainen ---
(In reply to Jason Merrill from comment #19)
> (In reply to Ville Voutilainen from comment #18)
> > to work just fine. Yet this particular test will not work with my
> > modifications, but works without
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #19 from Jason Merrill ---
(In reply to Ville Voutilainen from comment #18)
> to work just fine. Yet this particular test will not work with my
> modifications, but works without them (I just tested that).
Attach a preprocessed file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #18 from Ville Voutilainen ---
(In reply to Jason Merrill from comment #17)
> (In reply to Ville Voutilainen from comment #16)
> > > This one:
> > >
> > > #include
> > >
> > > template
> > > struct mytrait : public std::__and_,
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #17 from Jason Merrill ---
(In reply to Ville Voutilainen from comment #16)
> > This one:
> >
> > #include
> >
> > template
> > struct mytrait : public std::__and_,
> > std::integral_constant > __is_trivially_c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #16 from Ville Voutilainen ---
(In reply to Ville Voutilainen from comment #15)
> (In reply to Jason Merrill from comment #14)
> > (In reply to Ville Voutilainen from comment #13)
> > > Hmm. The first of the two ICE tests still ICEs.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #15 from Ville Voutilainen ---
(In reply to Jason Merrill from comment #14)
> (In reply to Ville Voutilainen from comment #13)
> > Hmm. The first of the two ICE tests still ICEs.
>
> Which test? None of the tests are ICEing for me.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #14 from Jason Merrill ---
(In reply to Ville Voutilainen from comment #13)
> Hmm. The first of the two ICE tests still ICEs.
Which test? None of the tests are ICEing for me.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #13 from Ville Voutilainen ---
Hmm. The first of the two ICE tests still ICEs. It no longer stops my build,
though - and I don't quite understand why, because previously the build
ICEd when building the library pre-compiled headers.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Jason Merrill changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #11 from Jason Merrill ---
Author: jason
Date: Fri Oct 3 15:52:03 2014
New Revision: 215860
URL: https://gcc.gnu.org/viewcvs?rev=215860&root=gcc&view=rev
Log:
PR c++/63362
* tree.c (strip_typedefs): Handle TREE_LIST.
Modifi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #10 from Ville Voutilainen ---
Reduced:
template
struct bool_
{
};
template
struct mytrait : bool_<__is_trivially_constructible(T, Args...)>
{
}
trivial_trait2.cpp:7:64: internal compiler error: tree check: expected class
‘type’
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Ville Voutilainen changed:
What|Removed |Added
Status|RESOLVED|REOPENED
Resolution|FIXED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Paolo Carlini changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #7 from Jason Merrill ---
Author: jason
Date: Wed Oct 1 17:21:08 2014
New Revision: 215772
URL: https://gcc.gnu.org/viewcvs?rev=215772&root=gcc&view=rev
Log:
PR c++/63362
* method.c (constructible_expr): Handle value-init of
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #6 from Jason Merrill ---
Author: jason
Date: Wed Oct 1 17:21:01 2014
New Revision: 215771
URL: https://gcc.gnu.org/viewcvs?rev=215771&root=gcc&view=rev
Log:
PR c++/63362
* class.c (type_has_non_user_provided_default_constru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Paolo Carlini changed:
What|Removed |Added
Status|RESOLVED|REOPENED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Paolo Carlini changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #3 from Ville Voutilainen ---
Looks good so far. I think this is a sufficient start for implementing the
library traits. Does the patch cover template cases as well? Such as
struct B {B();};
template struct C : T
{
};
SA(__calls_n
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Jason Merrill changed:
What|Removed |Added
Attachment #33560|0 |1
is obsolete|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Jason Merrill changed:
What|Removed |Added
CC||jason at gcc dot gnu.org
--- Comment #1
26 matches
Mail list logo
