[Bug c++/39462] check assert() at compile time if possible

[Bug c++/39462] check assert() at compile time if possible

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|gcc-bugs at gcc dot gnu.org |
         Resolution|                            |INVALID

--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-29 00:00:28 UTC ---
I guess we can as well close this.

[Bug c++/39462] check assert() at compile time if possible

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-08 21:51:17 UTC ---
(In reply to comment #4)
> Also - I admit not having studied in detail all your requirements, sorry about
> that - I suppose you would be interested in static_assert, available with
> -std=c++0x, in gcc4.3.x (and 4.4.x, of course):
> 
>   http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1720.html

And static assert is now part of C11 standard. And can be used in 4.7 and above
with _Static_assert keyword.

[Bug c++/39462] check assert() at compile time if possible

[ich at az2000 dot de]

------- Comment #7 from ich at az2000 dot de  2009-03-15 00:58 -------
Hm yea, I thought already about that. But I cannot think of a good (and easy)
definition when an assert() should be checked at compile time and whether not.
And thus, I am not sure if that is something which belongs into the C++
standard itself.

That is why I thought it would be the best to let the compiler do such a check
if possible (and that pretty much depends on the cleverness of the compiler)
and to just accept the situation that there could be cases where the value
could be known in theory already at compile time but the compiler doesn't catch
that.

static asserts are different again (and I don't think there are of no use).
There is a common intersection between what I want and what static asserts
would offer but this intersection is small and they will not really solve the
issue that it would be still very nice if the compiler could check asserts at
compile time if possible (and in that case, I think that static asserts are
only of little use; but it's of course hard to tell that, also because if not
all compiler supports compile-time checks on asserts, a lot of people will use
static asserts as a semi-alternative).

But I could also just be wrong with these thoughts. I am not really into the
GCC development and even after about 5 years of C++ development, I still see
more and more new and different ways of doing stuff in C++.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[paolo dot carlini at oracle dot com]

------- Comment #6 from paolo dot carlini at oracle dot com  2009-03-15 00:31 -------
Hey, no problem really, just wanted to let you aware that the next Standard
will deliver an assert checked at compile time. In general, if you want
something special for the next releases of the C++ Standard, I would suggest
making sure people in the appropriate places hear your voice. In general, we
(GCC Project) are mostly interested in features already standardized or
designed with that in mind.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[ich at az2000 dot de]

------- Comment #5 from ich at az2000 dot de  2009-03-15 00:10 -------
(In reply to comment #4)
> Also - I admit not having studied in detail all your requirements, sorry about
> that - I suppose you would be interested in static_assert, available with
> -std=c++0x, in gcc4.3.x (and 4.4.x, of course):
> 
>   http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1720.html
> 

Thanks, but static_assert is not an option. It would make things only more
complicated and can not cover a lot of cases.

I also don't really understand why there is something like a static_assert (I
am not sure how much I really would use an assert outside of a function). If a
compiler would be intelligent enough to check asserts at compile time if
possible, to differ between static_assert and assert only makes it more
complicated - mostly for the programmer.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[paolo dot carlini at oracle dot com]

------- Comment #4 from paolo dot carlini at oracle dot com  2009-03-14 23:41 -------
Also - I admit not having studied in detail all your requirements, sorry about
that - I suppose you would be interested in static_assert, available with
-std=c++0x, in gcc4.3.x (and 4.4.x, of course):

  http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1720.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-03-14 20:25 -------
The attribute is new in GCC 4.3.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[ich at az2000 dot de]

------- Comment #2 from ich at az2000 dot de  2009-03-14 19:48 -------
Really thanks a lot for that hint.

I did a small assert-implementation by my own:
http://openlierox.svn.sourceforge.net/viewvc/openlierox/include/cassert?view=markup

Btw., it seems that Apples GCC (even 4.2) does not support that attribute. Any
alternative? But I guess you (GCC devs) are not responsible for that.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462

[Bug c++/39462] check assert() at compile time if possible

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-03-14 17:33 -------
You should be able to do this already with something like

void do_the_warning (void) __attribute__((warning("assertion always false")));

#define assert(X) \
if (__builtin_constant_p (X) \
    && !(X))                  \
  do_the_warning ();          \
if (!(X)) abort ();


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39462