[Bug libstdc++/57403] New: A vector of volatile int doesn't work, but one of volatile void * does

["nmm1 at cam dot ac.uk" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 57403
           Summary: A vector of volatile int doesn't work, but one of
                    volatile  void * does
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nmm1 at cam dot ac.uk

In gcc 4.8.0, the following program fails horribly:

#include <vector>

int main () {
    std::vector<volatile int> memory(123);
}

Change the 'int' to void *' and it works.  It fails under OpenSUSE 11.4
and OpenSUSE 12.1, both on AMD 64-bit, and with gcc 4.6.2 as well.  The
messages are:

Test.cpp: In constructor 'std::vector<_Tp, _Alloc>::vector(std::vector<_Tp,
_Alloc>::size_type, const value_type&, const allocator_type&) [with _Tp =
volatile int; _Alloc = std::allocator<volatile int>; std::vector<_Tp,
_Alloc>::size_type = long unsigned int; std::vector<_Tp, _Alloc>::value_type =
volatile int; std::vector<_Tp, _Alloc>::allocator_type =
std::allocator<volatile int>]':
Test.cpp:4:41: error: could not convert '0' from 'int' to 'const volatile
value_type& {aka const volatile int&}'
     std::vector<volatile int> memory(123);
                                         ^
Test.cpp: In function 'int main()':
Test.cpp:4:41: error: invalid initialization of reference of type 'const
volatile value_type& {aka const volatile int&}' from expression of type 'int'
In file included from /home/nmm/GCC/include/c++/4.8.0/vector:65:0,
                 from Test.cpp:1:
/home/nmm/GCC/include/c++/4.8.0/bits/stl_vector.h:296:7: error: in passing
argument 2 of 'std::vector<_Tp, _Alloc>::vector(std::vector<_Tp,
_Alloc>::size_type, const value_type&, const allocator_type&) [with _Tp =
volatile int; _Alloc = std::allocator<volatile int>; std::vector<_Tp,
_Alloc>::size_type = long unsigned int; std::vector<_Tp, _Alloc>::value_type =
volatile int; std::vector<_Tp, _Alloc>::allocator_type =
std::allocator<volatile int>]'
       vector(size_type __n, const value_type& __value = value_type(),
       ^
In file included from
/home/nmm/GCC/include/c++/4.8.0/x86_64-unknown-linux-gnu/bits/c++allocator.h:33:0,
                 from /home/nmm/GCC/include/c++/4.8.0/bits/allocator.h:47,
                 from /home/nmm/GCC/include/c++/4.8.0/vector:62,
                 from Test.cpp:1:
/home/nmm/GCC/include/c++/4.8.0/ext/new_allocator.h: In instantiation of 'void
__gnu_cxx::new_allocator<_Tp>::deallocate(__gnu_cxx::new_allocator<_Tp>::pointer,
__gnu_cxx::new_allocator<_Tp>::size_type) [with _Tp = volatile int;
__gnu_cxx::new_allocator<_Tp>::pointer = volatile int*;
__gnu_cxx::new_allocator<_Tp>::size_type = long unsigned int]':
/home/nmm/GCC/include/c++/4.8.0/bits/stl_vector.h:175:4:   required from 'void
std::_Vector_base<_Tp, _Alloc>::_M_deallocate(std::_Vector_base<_Tp,
_Alloc>::pointer, std::size_t) [with _Tp = volatile int; _Alloc =
std::allocator<volatile int>; std::_Vector_base<_Tp, _Alloc>::pointer =
volatile int*; std::size_t = long unsigned int]'
/home/nmm/GCC/include/c++/4.8.0/bits/stl_vector.h:162:33:   required from
'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = volatile int;
_Alloc = std::allocator<volatile int>]'
/home/nmm/GCC/include/c++/4.8.0/bits/stl_vector.h:298:23:   required from
'std::vector<_Tp, _Alloc>::vector(std::vector<_Tp, _Alloc>::size_type, const
value_type&, const allocator_type&) [with _Tp = volatile int; _Alloc =
std::allocator<volatile int>; std::vector<_Tp, _Alloc>::size_type = long
unsigned int; std::vector<_Tp, _Alloc>::value_type = volatile int;
std::vector<_Tp, _Alloc>::allocator_type = std::allocator<volatile int>]'
Test.cpp:4:41:   required from here
/home/nmm/GCC/include/c++/4.8.0/ext/new_allocator.h:110:30: error: invalid
conversion from 'volatile void*' to 'void*' [-fpermissive]
       { ::operator delete(__p); }
                              ^
In file included from /home/nmm/GCC/include/c++/4.8.0/ext/new_allocator.h:33:0,
                 from
/home/nmm/GCC/include/c++/4.8.0/x86_64-unknown-linux-gnu/bits/c++allocator.h:33,
                 from /home/nmm/GCC/include/c++/4.8.0/bits/allocator.h:47,
                 from /home/nmm/GCC/include/c++/4.8.0/vector:62,
                 from Test.cpp:1:
/home/nmm/GCC/include/c++/4.8.0/new:97:6: error:   initializing argument 1 of
'void operator delete(void*)' [-fpermissive]
 void operator delete(void*) _GLIBCXX_USE_NOEXCEPT
      ^