harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Tim Ellison (JIRA)" <j...@apache.org>
Subject [jira] Created: (HARMONY-3677) [classlib][awt] Results of running checker tool
Date Tue, 17 Apr 2007 21:11:15 GMT
[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.


Mime
View raw message