Attachment 70061 Details for Bug 190623 – A patch using the optimizedBooleanConstant field instead of the constant field

[patch] A patch using the optimizedBooleanConstant field instead of the constant field

patch-optimizedBooleanConst.txt (text/plain), 4.78 KB, created by Patrice Chalin

on 2007-06-04 22:02:31 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Patrice Chalin

Created: 2007-06-04 22:02:31 EDT

Size: 4.78 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.jdt.core
>Index: compiler/org/eclipse/jdt/internal/compiler/ast/EqualExpression.java
>===================================================================
>RCS file: /thesis/c/chalin/dsrg/jml4cvsrep/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ast/EqualExpression.java,v
>retrieving revision 1.1.1.1
>diff -u -r1.1.1.1 EqualExpression.java
>--- compiler/org/eclipse/jdt/internal/compiler/ast/EqualExpression.java	15 May 2007 20:31:50 -0000	1.1.1.1
>+++ compiler/org/eclipse/jdt/internal/compiler/ast/EqualExpression.java	5 Jun 2007 01:31:17 -0000
>@@ -39,12 +39,18 @@
> 				if (((this.bits & OperatorMASK) >> OperatorSHIFT) == EQUAL_EQUAL) {
> 					flowContext.recordUsingNullReference(scope, local, reference, 
> 							FlowContext.CAN_ONLY_NULL_NON_NULL | FlowContext.IN_COMPARISON_NULL, flowInfo);
>-					initsWhenTrue.markAsComparedEqualToNull(local); // from thereon it is set
>+					if (flowInfo.isDefinitelyNonNull(local))
>+						this.optimizedBooleanConstant = BooleanConstant.fromValue(false);
>+					else
>+						initsWhenTrue.markAsComparedEqualToNull(local); // from thereon it is set
> 					initsWhenFalse.markAsComparedEqualToNonNull(local); // from thereon it is set
> 				} else {
> 					flowContext.recordUsingNullReference(scope, local, reference, 
> 							FlowContext.CAN_ONLY_NULL_NON_NULL | FlowContext.IN_COMPARISON_NON_NULL, flowInfo);
>-					initsWhenTrue.markAsComparedEqualToNonNull(local); // from thereon it is set
>+					if (flowInfo.isDefinitelyNull(local))
>+						this.optimizedBooleanConstant = BooleanConstant.fromValue(false);
>+					else
>+						initsWhenTrue.markAsComparedEqualToNonNull(local); // from thereon it is set
> 					initsWhenFalse.markAsComparedEqualToNull(local); // from thereon it is set
> 				}
> 				break;
>#P org.eclipse.jdt.core.tests.compiler
>Index: src/org/eclipse/jdt/core/tests/compiler/regression/NullReferenceTest.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullReferenceTest.java,v
>retrieving revision 1.63
>diff -u -r1.63 NullReferenceTest.java
>--- src/org/eclipse/jdt/core/tests/compiler/regression/NullReferenceTest.java	22 May 2007 08:19:20 -0000	1.63
>+++ src/org/eclipse/jdt/core/tests/compiler/regression/NullReferenceTest.java	5 Jun 2007 01:31:20 -0000
>@@ -1794,10 +1794,10 @@
> 		"	    ^\n" + 
> 		"Null comparison always yields false: The variable o cannot be null at this location\n" + 
> 		"----------\n" + 
>-		"2. ERROR in X.java (at line 7)\n" + 
>-		"	o.toString();\n" + 
>-		"	^\n" + 
>-		"Potential null pointer access: The variable o may be null at this location\n" + 
>+		"2. ERROR in X.java (at line 6)\n" + 
>+		"	if (o != null) { /* */ }\n" + 
>+		"	    ^\n" + 
>+		"Redundant null check: The variable o cannot be null at this location\n" + 
> 		"----------\n");
> }
>  
>@@ -7360,7 +7360,7 @@
> 		"2. ERROR in X.java (at line 5)\n" + 
> 		"	if (o == null) { };\n" + 
> 		"	    ^\n" + 
>-		"Null comparison always yields false: The variable o cannot be null at this location\n" + 
>+		"Redundant null check: The variable o can only be null at this location\n" + 
> 		"----------\n");
> 	}
> }
>@@ -7528,20 +7528,10 @@
> 		"	    ^\n" + 
> 		"Null comparison always yields false: The variable x cannot be null at this location\n" + 
> 		"----------\n" + 
>-		"3. ERROR in X.java (at line 6)\n" + 
>-		"	x.foo(null); // 3\n" + 
>-		"	^\n" + 
>-		"Null pointer access: The variable x can only be null at this location\n" + 
>-		"----------\n" + 
>-		"4. ERROR in X.java (at line 9)\n" + 
>+		"3. ERROR in X.java (at line 9)\n" + 
> 		"	} else if (x != null) { // 6\n" + 
> 		"	           ^\n" + 
> 		"Redundant null check: The variable x cannot be null at this location\n" + 
>-		"----------\n" + 
>-		"5. ERROR in X.java (at line 12)\n" + 
>-		"	x.foo(null); // 8\n" + 
>-		"	^\n" + 
>-		"Potential null pointer access: The variable x may be null at this location\n" + 
> 		"----------\n");
> }
> 
>@@ -7744,11 +7734,6 @@
> 		"	if (x == null) {\n" + 
> 		"	    ^\n" + 
> 		"Null comparison always yields false: The variable x cannot be null at this location\n" + 
>-		"----------\n" + 
>-		"2. ERROR in X.java (at line 5)\n" + 
>-		"	x.foo(this);\n" + 
>-		"	^\n" + 
>-		"Null pointer access: The variable x can only be null at this location\n" + 
> 		"----------\n");
> }
> 
>@@ -8774,6 +8759,11 @@
> 		"	if (o65 == null) { /* */ }\n" + 
> 		"	    ^^^\n" + 
> 		"Null comparison always yields false: The variable o65 cannot be null at this location\n" +  
>+		"----------\n" + 
>+		"2. ERROR in X.java (at line 19)\n" + 
>+		"	if (o65 != null) { /* */ }\n" + 
>+		"	    ^^^\n" + 
>+		"Redundant null check: The variable o65 cannot be null at this location\n" + 
> 		"----------\n");
> }
>

Actions: View | Diff

Attachments on bug 190623: 69895 | 70061