[Bug c/48545] New: dereferencing does not work as expected

[gerald at itzgrund dot net]

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

           Summary: dereferencing does not work as expected
           Product: gcc
           Version: 4.4.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gerald@itzgrund.net


Created attachment 23940
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23940
minimum example of the problem

Dear gcc team,

I think I've found a bug on dereferncing pointers. An example is attached. The
problem exists inside the function outputfunc where the parameter output will
not be dereferenced as expected. You only have to compile the example and take
look at the output. There is a workaround that is also included inside the
example code of outputfunc (variable validoutput).

I hope that I did not overlook something inside the C-Standard but I think the
parameter output should be dereferenced just like the way it is done for
validoutput.

Best regards,
Gerald