Return-Path: Delivered-To: apmail-harmony-commits-archive@www.apache.org Received: (qmail 2105 invoked from network); 25 Apr 2007 10:15:37 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 25 Apr 2007 10:15:37 -0000 Received: (qmail 41917 invoked by uid 500); 25 Apr 2007 10:15:44 -0000 Delivered-To: apmail-harmony-commits-archive@harmony.apache.org Received: (qmail 41821 invoked by uid 500); 25 Apr 2007 10:15:43 -0000 Mailing-List: contact commits-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list commits@harmony.apache.org Received: (qmail 41808 invoked by uid 99); 25 Apr 2007 10:15:43 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 25 Apr 2007 03:15:43 -0700 X-ASF-Spam-Status: No, hits=-100.0 required=10.0 tests=ALL_TRUSTED X-Spam-Check-By: apache.org Received: from [140.211.11.4] (HELO brutus.apache.org) (140.211.11.4) by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 25 Apr 2007 03:15:35 -0700 Received: from brutus (localhost [127.0.0.1]) by brutus.apache.org (Postfix) with ESMTP id D5D51714063 for ; Wed, 25 Apr 2007 03:15:15 -0700 (PDT) Message-ID: <29865241.1177496115871.JavaMail.jira@brutus> Date: Wed, 25 Apr 2007 03:15:15 -0700 (PDT) From: "Alexey Petrenko (JIRA)" To: commits@harmony.apache.org Subject: [jira] Assigned: (HARMONY-3677) [classlib][awt] Results of running checker tool In-Reply-To: <30671730.1176844275272.JavaMail.jira@brutus> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Virus-Checked: Checked by ClamAV on 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.