You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@harmony.apache.org by "Tim Ellison (JIRA)" <ji...@apache.org> on 2007/04/17 23:11:15 UTC

[jira] Created: (HARMONY-3677) [classlib][awt] Results of running checker tool

[classlib][awt] Results of running checker tool
-----------------------------------------------

                 Key: HARMONY-3677
                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
             Project: Harmony
          Issue Type: Bug
          Components: Classlib
            Reporter: Tim Ellison
            Priority: Minor


Report of running IBM checker on harmony AWT code (may include false positives):

BEAM_VERSION=3.3.0d
BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
BEAM_DIRECTORY_WRITE_INNOCENTS=
BEAM_DIRECTORY_WRITE_ERRORS=

-- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect


-- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'

 VALUES AT THE END OF THE PATH:
  i (declared on line 1128) >= 0 
  type = 12 



-- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'

 VALUES AT THE END OF THE PATH:
  type = 13 



-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'


-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'


-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'


-- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing


-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'

 VALUES AT THE END OF THE PATH:
  retval <= 5 
  bytesInBuffer >= -2147483646 



-- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'

 VALUES AT THE END OF THE PATH:
  savedBlockSize = 0 



-- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0

 VALUES AT THE END OF THE PATH:
  divLUT_inited = 0 
  j = 0 
  i = 0 



-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'

 VALUES AT THE END OF THE PATH:
  hDecoder = 0 



-- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'

 VALUES AT THE END OF THE PATH:
  hDecoder = 0 



-- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'

 VALUES AT THE END OF THE PATH:
  i = 1 
  hasAlpha != 0 
  cmType = 1 



-- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'

 VALUES AT THE END OF THE PATH:
  i = 1 
  cmType = 1 



-- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'

 VALUES AT THE END OF THE PATH:
  i = 1 
  cmType = 1 


-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

[jira] Assigned: (HARMONY-3677) [classlib][awt] Results of running checker tool

Posted by "Alexey Petrenko (JIRA)" <ji...@apache.org>.

     [ https://issues.apache.org/jira/browse/HARMONY-3677?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Alexey Petrenko reassigned HARMONY-3677:
----------------------------------------

    Assignee: Alexey Petrenko

> [classlib][awt] Results of running checker tool
> -----------------------------------------------
>
>                 Key: HARMONY-3677
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
>             Project: Harmony
>          Issue Type: Bug
>          Components: Classlib
>            Reporter: Tim Ellison
>         Assigned To: Alexey Petrenko
>            Priority: Minor
>
> Report of running IBM checker on harmony AWT code (may include false positives):
> BEAM_VERSION=3.3.0d
> BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
> BEAM_DIRECTORY_WRITE_INNOCENTS=
> BEAM_DIRECTORY_WRITE_ERRORS=
> -- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   i (declared on line 1128) >= 0 
>   type = 12 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   type = 13 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'
> -- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   retval <= 5 
>   bytesInBuffer >= -2147483646 
> -- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   savedBlockSize = 0 
> -- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0
>  VALUES AT THE END OF THE PATH:
>   divLUT_inited = 0 
>   j = 0 
>   i = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   hasAlpha != 0 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

[jira] Commented: (HARMONY-3677) [classlib][awt] Results of running checker tool

Posted by "Tim Ellison (JIRA)" <ji...@apache.org>.

    [ https://issues.apache.org/jira/browse/HARMONY-3677?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12489543 ] 

Tim Ellison commented on HARMONY-3677:
--------------------------------------

More results from AWT


-- ERROR23(heap_memory)     /*memory leak*/     >>>ERROR23_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_RemoveFontResource_ba7d4ed123b65ff2
"LinuxNativeFont.c", line 1296: memory leak
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 1290: allocating using `env' (this memory will not be freed)
 "LinuxNativeFont.c", line 1290: assigning into `dirName'
 "LinuxNativeFont.c", line 1295: the if-condition is true
 "LinuxNativeFont.c", line 1296: deallocating `dirName' because exiting its scope (losing last pointer to the memory)

 VALUES AT THE END OF THE PATH:
  config = 0 



-- ERROR23(heap_memory)     /*memory leak*/     >>>ERROR23_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_NativeInitGlyphBitmap_533986ea7839160a
"LinuxNativeFont.c", line 1377: memory leak
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 1340: allocating using `malloc' (this memory will not be freed)
 "LinuxNativeFont.c", line 1340: assigning into `gbmp'
 "LinuxNativeFont.c", line 1342: the if-condition is false
 "LinuxNativeFont.c", line 1347: the if-condition is false
 "LinuxNativeFont.c", line 1353: the if-condition is false
 "LinuxNativeFont.c", line 1363: the if-condition is false
 "LinuxNativeFont.c", line 1370: the if-condition is true
 "LinuxNativeFont.c", line 1373: the if-condition is true
 "LinuxNativeFont.c", line 1377: returning `(jlong)NULL'
 "LinuxNativeFont.c", line 1377: deallocating `gbmp' because exiting its scope (losing last pointer to the memory)

 VALUES AT THE END OF THE PATH:
  error != 0 
  face != 0 



-- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_getFontFamiliesNames_6daaddb52b60e
"LinuxNativeFont.c", line 143: uninitialized `famList[i]'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 108: allocating using `malloc'
 "LinuxNativeFont.c", line 110: loop entry condition is true
 "LinuxNativeFont.c", line 110: going around the loop again
 "LinuxNativeFont.c", line 110: loop entry condition is false, therefore exiting from the loop started on line 110
 "LinuxNativeFont.c", line 141: the if-condition is true
 "LinuxNativeFont.c", line 142: loop entry condition is true
 "LinuxNativeFont.c", line 143: getting the value of `famList[i]'

 VALUES AT THE END OF THE PATH:
  j = 1 
  fs != 0 
  families = 0 



-- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_getFontFamiliesNames_753915a92b60e
"LinuxNativeFont.c", line 152: uninitialized `famList[i]'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 108: allocating using `malloc'
 "LinuxNativeFont.c", line 110: loop entry condition is true
 "LinuxNativeFont.c", line 110: going around the loop again
 "LinuxNativeFont.c", line 110: loop entry condition is false, therefore exiting from the loop started on line 110
 "LinuxNativeFont.c", line 141: the if-condition is false
 "LinuxNativeFont.c", line 150: loop entry condition is true
 "LinuxNativeFont.c", line 152: getting the value of `famList[i]'

 VALUES AT THE END OF THE PATH:
  j = 1 
  fs != 0 
  families != 0 



-- ERROR23(heap_memory)     /*memory leak*/     >>>ERROR23_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_initializeFont_8eae274f5f87841
"LinuxNativeFont.c", line 277: memory leak
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 270: allocating using `env' (this memory will not be freed)
 "LinuxNativeFont.c", line 270: assigning into `faceStyle'
 "LinuxNativeFont.c", line 274: the if-condition is true
 "LinuxNativeFont.c", line 277: deallocating `faceStyle' because exiting its scope (losing last pointer to the memory)

 VALUES AT THE END OF THE PATH:
  fid = 0 
  jFaceStyle != 0 



-- ERROR23(heap_memory)     /*memory leak*/     >>>ERROR23_Java_org_apache_harmony_awt_gl_font_LinuxNativeFont_initializeFont_8eae2743382ac8c
"LinuxNativeFont.c", line 277: memory leak
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "LinuxNativeFont.c", line 268: allocating using `env' (this memory will not be freed)
 "LinuxNativeFont.c", line 268: assigning into `name'
 "LinuxNativeFont.c", line 274: the if-condition is true
 "LinuxNativeFont.c", line 277: deallocating `name' because exiting its scope (losing last pointer to the memory)

 VALUES AT THE END OF THE PATH:
  fid = 0 



-- ERROR2     /*operating on NULL*/     >>>ERROR2_writeMemBuffer_bd04a2b04277e5d7
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 127: invalid operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 123: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 125: the if-condition is false (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 127: using operation `->' to dereference NULL pointer `memBuffer'

 VALUES AT THE END OF THE PATH:
  size != 0 
  memBuffer = 0 
  f = 0 



-- ERROR2     /*operating on NULL*/     >>>ERROR2_zeroMemBuffer_3fe43ccf4277e5d7
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 140: invalid operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 136: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 138: the if-condition is false (used as evidence that error is possible)
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 140: using operation `->' to dereference NULL pointer `memBuffer'

 VALUES AT THE END OF THE PATH:
  size != 0 
  memBuffer = 0 
  f = 0 



-- WARNING14     /*incompatible types*/     >>>WARNING14_findTag_161a2c3e4ce3fd0
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 173: Comparing `sig' of type `icTagTypeSignature' with `Icc->TagNames[i]' of type `icTagSignature'


-- WARNING14     /*incompatible types*/     >>>WARNING14_cmmGetProfileElementSize_3ff5e2d745a6febe
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 572: Passing `sig' of type `icTagSignature' to parameter `sig' of `findTag' having type `icTagTypeSignature'


-- WARNING14     /*incompatible types*/     >>>WARNING14_cmmGetProfileElement_3ff5e2d745a6febe
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 537: Passing `sig' of type `icTagSignature' to parameter `sig' of `findTag' having type `icTagTypeSignature'


-- WARNING14     /*incompatible types*/     >>>WARNING14_updateCriticalTags_f4418a35c53ee571
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 422: To parameter `sig' of `findTag' having type `icTagTypeSignature' passing `icSigMediaWhitePointTag' of different type


-- WARNING14     /*incompatible types*/     >>>WARNING14_cmmSetProfileElement_3ff5e2d745a6febe
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmio.c", line 628: Passing `sig' of type `icTagSignature' to parameter `sig' of `findTag' having type `icTagTypeSignature'


-- ERROR1     /*uninitialized*/     >>>ERROR1_cmmCreateMultiprofileTransform_dfe6063ff3ee933
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 162: uninitialized `csOut'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 104: allocating `csOut'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 113: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 118: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 118: going around the loop again
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 118: loop entry condition is false, therefore exiting from the loop started on line 118
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 138: loop entry condition is false, therefore exiting from the loop started on line 138
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/cmmxforms.c", line 162: getting the value of `csOut'

 VALUES AT THE END OF THE PATH:
  i != -2147483648 



-- ERROR1     /*uninitialized*/     >>>ERROR1_copyAlphaChannel_da98454f2b609
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 323: uninitialized `d'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 312: allocating `d'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 317: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 318: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 322: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 323: getting the value of `d'

 VALUES AT THE END OF THE PATH:
  sh (declared on line 321) = 0 
  srcSampleSize >= 1 
  nPixels >= 1 
  i = 0 



-- ERROR1     /*uninitialized*/     >>>ERROR1_copyAlphaChannel_129ad15e2b609
"/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 325: uninitialized `d'
ONE POSSIBLE PATH LEADING TO THE ERROR:
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 312: allocating `d'
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 317: loop entry condition is true
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 318: the if-condition is false
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 322: loop entry condition is false, therefore exiting from the loop started on line 322
 "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/lcmm/shared/NativeCMM.c", line 325: getting the value of `d'

 VALUES AT THE END OF THE PATH:
  sh (declared on line 321) >= 0 
  srcSampleSize != 0 
  nPixels >= 1 
  i = 0 




> [classlib][awt] Results of running checker tool
> -----------------------------------------------
>
>                 Key: HARMONY-3677
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
>             Project: Harmony
>          Issue Type: Bug
>          Components: Classlib
>            Reporter: Tim Ellison
>            Priority: Minor
>
> Report of running IBM checker on harmony AWT code (may include false positives):
> BEAM_VERSION=3.3.0d
> BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
> BEAM_DIRECTORY_WRITE_INNOCENTS=
> BEAM_DIRECTORY_WRITE_ERRORS=
> -- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   i (declared on line 1128) >= 0 
>   type = 12 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   type = 13 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'
> -- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   retval <= 5 
>   bytesInBuffer >= -2147483646 
> -- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   savedBlockSize = 0 
> -- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0
>  VALUES AT THE END OF THE PATH:
>   divLUT_inited = 0 
>   j = 0 
>   i = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   hasAlpha != 0 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

[jira] Commented: (HARMONY-3677) [classlib][awt] Results of running checker tool

Posted by "Alexey Petrenko (JIRA)" <ji...@apache.org>.

    [ https://issues.apache.org/jira/browse/HARMONY-3677?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12491672 ] 

Alexey Petrenko commented on HARMONY-3677:
------------------------------------------

All the failures in SurfaceDataStructure.cpp are false positive.

> [classlib][awt] Results of running checker tool
> -----------------------------------------------
>
>                 Key: HARMONY-3677
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
>             Project: Harmony
>          Issue Type: Bug
>          Components: Classlib
>            Reporter: Tim Ellison
>         Assigned To: Alexey Petrenko
>            Priority: Minor
>
> Report of running IBM checker on harmony AWT code (may include false positives):
> BEAM_VERSION=3.3.0d
> BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
> BEAM_DIRECTORY_WRITE_INNOCENTS=
> BEAM_DIRECTORY_WRITE_ERRORS=
> -- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   i (declared on line 1128) >= 0 
>   type = 12 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   type = 13 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'
> -- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   retval <= 5 
>   bytesInBuffer >= -2147483646 
> -- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   savedBlockSize = 0 
> -- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0
>  VALUES AT THE END OF THE PATH:
>   divLUT_inited = 0 
>   j = 0 
>   i = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   hasAlpha != 0 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

[jira] Closed: (HARMONY-3677) [classlib][awt] Results of running checker tool

Posted by "Tim Ellison (JIRA)" <ji...@apache.org>.

     [ https://issues.apache.org/jira/browse/HARMONY-3677?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Tim Ellison closed HARMONY-3677.
--------------------------------


Verified.

> [classlib][awt] Results of running checker tool
> -----------------------------------------------
>
>                 Key: HARMONY-3677
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
>             Project: Harmony
>          Issue Type: Bug
>          Components: Classlib
>            Reporter: Tim Ellison
>            Assignee: Alexey Petrenko
>            Priority: Minor
>
> Report of running IBM checker on harmony AWT code (may include false positives):
> BEAM_VERSION=3.3.0d
> BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
> BEAM_DIRECTORY_WRITE_INNOCENTS=
> BEAM_DIRECTORY_WRITE_ERRORS=
> -- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   i (declared on line 1128) >= 0 
>   type = 12 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   type = 13 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'
> -- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   retval <= 5 
>   bytesInBuffer >= -2147483646 
> -- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   savedBlockSize = 0 
> -- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0
>  VALUES AT THE END OF THE PATH:
>   divLUT_inited = 0 
>   j = 0 
>   i = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   hasAlpha != 0 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.

[jira] Resolved: (HARMONY-3677) [classlib][awt] Results of running checker tool

Posted by "Alexey Petrenko (JIRA)" <ji...@apache.org>.

     [ https://issues.apache.org/jira/browse/HARMONY-3677?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Alexey Petrenko resolved HARMONY-3677.
--------------------------------------

    Resolution: Fixed

I've committed a patches for all unambigous cases.
Three source files requires additional investigation and has been moved to new JIRAs.

Tim, please verify.

> [classlib][awt] Results of running checker tool
> -----------------------------------------------
>
>                 Key: HARMONY-3677
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3677
>             Project: Harmony
>          Issue Type: Bug
>          Components: Classlib
>            Reporter: Tim Ellison
>         Assigned To: Alexey Petrenko
>            Priority: Minor
>
> Report of running IBM checker on harmony AWT code (may include false positives):
> BEAM_VERSION=3.3.0d
> BEAM_ROOT=/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/unix
> BEAM_DIRECTORY_WRITE_INNOCENTS=
> BEAM_DIRECTORY_WRITE_ERRORS=
> -- MISTAKE1     /*no effect*/     >>>MISTAKE1_setRGB_af03179d1505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1176: Statement has no effect
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_cfedeb9710255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1118: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1128: loop entry condition is false, therefore exiting from the loop started on line 1128
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1145: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   i (declared on line 1128) >= 0 
>   type = 12 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_setRGB_f13d25ca10255847
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: uninitialized `pixel'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 976: allocating `pixel'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1149: selecting this case
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1179: loop entry condition is false, therefore exiting from the loop started on line 1179
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/blitter.cpp", line 1209: getting the value of `pixel'
>  VALUES AT THE END OF THE PATH:
>   type = 13 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_1dcb4a41d99747d4
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 251: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_3e00e51fb9ede143
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 250: `env' requires argument #1 to be `not critical'
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_toRGB_b3c11a2656fb7f74
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 246: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 249: `env' requires argument #1 to be `not critical'
> -- MISTAKE4     /*fall through*/     >>>MISTAKE4_readExtension_b50bc7471505
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 541: A break might be missing
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_GifDecoder_decode_7fb511eb9c5753f5
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 104: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: conjunct is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: assuming `decoder->bytesInBuffer == 1'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 161: break from the switch started on line 109
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 108: loop entry condition is false, therefore exiting from the loop started on line 108
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 175: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   retval <= 5 
>   bytesInBuffer >= -2147483646 
> -- ERROR26     /*violated property*/     >>>ERROR26_decompress_80dc33303d7874f3
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 735: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 739: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 749: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 757: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/gifdecoder.c", line 759: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   savedBlockSize = 0 
> -- ERROR22     /*division by 0*/     >>>ERROR22_init_divLUT_9a944c43d6037d2a
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: division by 0
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 43: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 44: loop entry condition is true (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: assuming `j == i'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 45: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/LUTTables.cpp", line 46: divisor `i' is 0
>  VALUES AT THE END OF THE PATH:
>   divLUT_inited = 0 
>   j = 0 
>   i = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_fcc01476fa60a68
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: disjunct is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 82: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR26     /*violated property*/     >>>ERROR26_Java_org_apache_harmony_awt_gl_image_PngDecoder_decode_12f8bf9b8df188f1
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' is not `not critical' (it is `critical')
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 55: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 56: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 63: the if-condition is false
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 74: `env' generates a value that is `critical' (used as evidence that error is possible)
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 77: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 78: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/pngdecoder.c", line 80: `env' requires argument #1 to be `not critical'
>  VALUES AT THE END OF THE PATH:
>   hDecoder = 0 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_2fad85a97c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: uninitialized `surf->bits[3]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 661: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 672: the if-condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 674: getting the value of `surf->bits[3]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   hasAlpha != 0 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_f265826e7c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: uninitialized `surf->bits[2]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 671: getting the value of `surf->bits[2]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 
> -- ERROR1     /*uninitialized*/     >>>ERROR1_Java_org_apache_harmony_awt_gl_ImageSurface_createSurfStruct_e5827b487c949ab7
> "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: uninitialized `surf->bits[1]'
> ONE POSSIBLE PATH LEADING TO THE ERROR:
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 647: allocating using `malloc'
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is true
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: going around the loop again
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 651: loop entry condition is false, therefore exiting from the loop started on line 651
>  "/home/gkondo/harmony/trunk/working_classlib/modules/awt/src/main/native/gl/shared/SurfaceDataStructure.cpp", line 669: getting the value of `surf->bits[1]'
>  VALUES AT THE END OF THE PATH:
>   i = 1 
>   cmType = 1 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.