Checking cc1plus with purify : UMR in propagate_block [flow.c:1681]

Laurent Bonnaud bonnaud@irisa.fr
Wed Feb 18 06:09:00 GMT 1998


      UMR: Uninitialized memory read (3 times)
      This is occurring while in:
            propagate_block [flow.c:1681]
                             AND_COMPL_REG_SET (old, dead);
                             IOR_REG_SET (old, live);
               
            =>               if (GET_CODE (insn) == CALL_INSN && final)
                               {
                                 /* Any regs live at the time of a call instruction
                                    must not go in a register clobbered by calls.
            life_analysis  [flow.c:1218]
            flow_analysis  [flow.c:370]
            rest_of_compilation [toplev.c:3383]
            finish_function [decl.c:12538]
            yyparse        [parse.y:585]
      Reading 4 bytes from 0xefffdd7c on the stack.
      Address 0xefffdd7c is local variable "maxlive" in function propagate_block.

-- 
Laurent.



More information about the Gcc-bugs mailing list