Language: Go
Label: vulnerable
CWE: CWE-697 \u2014 Incorrect Comparison
The product compares two entities in a security-relevant context, but the comparison is incorrect, which may lead to resultant weaknesses.

Code:
func (builder *builder) AssertIsLessOrEqual(v frontend.Variable, bound frontend.Variable) {
	switch b := bound.(type) {
	case expr.Term:
		builder.mustBeLessOrEqVar(v, b)
	default:
		builder.mustBeLessOrEqCst(v, utils.FromInterface(b))
	}
}