[task #6615] Mig should output const in generated prototypes

[Samuel Thibault]

URL:
  <http://savannah.gnu.org/task/?6615>

                 Summary: Mig should output const in generated prototypes
                 Project: The GNU Hurd
            Submitted by: sthibaul
            Submitted on: Saturday 03/10/2007 at 23:54
                Category: GNU MIG
         Should Start On: Saturday 03/10/2007 at 00:00
   Should be Finished on: Saturday 03/10/2007 at 00:00
                Priority: 1 - Later
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
         Planned Release: None
                  Effort: 0.00
Wiki-like text discussion box: 

    _______________________________________________________

Details:

For instance, GNU Mach's include/device/device.defs declares

routine device_write(
                device          : device_t;
        sreplyport reply_port   : reply_port_t;
        in      mode            : dev_mode_t;
        in      recnum          : recnum_t;
        in      data            : io_buf_ptr_t;
        out     bytes_written   : int
        );

which results to the following device_write prototype:

kern_return_t device_write
(
        mach_port_t device,
        dev_mode_t mode,
        recnum_t recnum,
        io_buf_ptr_t data,
        mach_msg_type_number_t dataCnt,
        int *bytes_written
);

memory pointed to by data is provided by the client and not modified by the
server, so in this case "const" should be output just before io_buf_ptr_t.

That fix makes a lot of sense and would drop a bunch of spurious warnings in
the glibc compilation log.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?6615>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/