Commitecdf3dd

committed

improve comments (constraint loader)

1 parent7f4f39e commitecdf3ddCopy full SHA for ecdf3dd

File tree

-3

lines changed

-3

lines changed

Lines changed: 5 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -810,7 +810,7 @@ validate_range_constraint(const Expr *expr,`
`810`	`810`	`lower,upper,lower_null,upper_null);`
`811`	`811`	`}`
`812`	`812`
`813`		`-/* Validates a single expression of kind VAR >= CONSTor VAR < CONST */`
	`813`	`+/* Validates a single expression of kind VAR >= CONST\| VAR < CONST */`
`814`	`814`	`staticbool`
`815`	`815`	`validate_range_opexpr(constExpr*expr,`
`816`	`816`	`constPartRelationInfo*prel,`
`@@ -870,8 +870,10 @@ validate_range_opexpr(const Expr *expr,`
`870`	`870`
`871`	`871`	`/*`
`872`	`872`	`* Reads const value from expressions of kind:`
`873`		`- *1) VAR >= CONST OR VAR < CONST`
`874`		`- *2) RELABELTYPE(VAR) >= CONST OR RELABELTYPE(VAR) < CONST`
	`873`	`+ *1) VAR >= CONST`
	`874`	`+ *2) VAR < CONST`
	`875`	`+ *3) RELABELTYPE(VAR) >= CONST`
	`876`	`+ *4) RELABELTYPE(VAR) < CONST`
`875`	`877`	`*/`
`876`	`878`	`staticbool`
`877`	`879`	`read_opexpr_const(constOpExpr*opexpr,`

Comments

(0)