Merge pull request #5568 from ethereum/smt_remove_unary_plus

chriseth · web-flow · commit 5897b14d6338 · 2018-12-03T11:19:34.000+01:00
[SMTChecker] Remove unary plus operator
diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp
@@ -323,9 +323,6 @@ void SMTChecker::endVisit(UnaryOperation const& _op)
 			);
 		break;
 	}
-	case Token::Add: // +
-		defineExpr(_op, expr(_op.subExpression()));
-		break;
 	case Token::Sub: // -
 	{
 		defineExpr(_op, 0 - expr(_op.subExpression()));

Original file line number	Diff line number	Diff line change
`@@ -323,9 +323,6 @@ void SMTChecker::endVisit(UnaryOperation const& _op)`
`323`	`323`	`);`
`324`	`324`	`break;`
`325`	`325`	`}`
`326`		`- case Token::Add: // +`
`327`		`- defineExpr(_op, expr(_op.subExpression()));`
`328`		`- break;`
`329`	`326`	`case Token::Sub: // -`
`330`	`327`	`{`
`331`	`328`	`defineExpr(_op, 0 - expr(_op.subExpression()));`