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/05/30 19:03:18 UTC
[jira] Closed: (HARMONY-3677) [classlib][awt] Results of running
checker tool
[ 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.