Skip to content

Commit

Permalink
Update conversion_overflow.go
Browse files Browse the repository at this point in the history
  • Loading branch information
@ccojocar
ccojocar authored Nov 30, 2024
1 parent ac833e7 commit a77aed7
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions analyzers/conversion_overflow.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -452,6 +452,7 @@ func walkBranchForConvert(block *ssa.BasicBlock, instr *ssa.Convert, visitedIfs
bounds.minValue = toPtr(maxWithPtr(result.minValue, bounds.minValue))
bounds.maxValue = toPtr(minWithPtr(result.maxValue, bounds.maxValue))
bounds.explixitPositiveVals = append(bounds.explixitPositiveVals, result.explicitPositiveVals...)

Check failure on line 454 in analyzers/conversion_overflow.go

View workflow job for this annotation

GitHub Actions / test (1.23.3, latest) 

bounds.explixitPositiveVals undefined (type branchResults has no field or method explixitPositiveVals)) (typecheck)

Check failure on line 454 in analyzers/conversion_overflow.go

View workflow job for this annotation

GitHub Actions / test (1.23.3, latest) 

bounds.explixitPositiveVals undefined (type branchResults has no field or method explixitPositiveVals)) (typecheck)

Check failure on line 454 in analyzers/conversion_overflow.go

View workflow job for this annotation

GitHub Actions / test (1.23.3, latest) 

bounds.explixitPositiveVals undefined (type branchResults has no field or method explixitPositiveVals) (typecheck)

Check failure on line 454 in analyzers/conversion_overflow.go

View workflow job for this annotation

GitHub Actions / test (1.23.3, latest) 

bounds.explixitPositiveVals undefined (type branchResults has no field or method explixitPositiveVals)) (typecheck)
bounds.explicitNegativeVals = append(bounds.explicitNegativeVals, result.explicitNegativeVals...)
}
case *ssa.Call:
if v == instr.X {
Expand Down

0 comments on commit a77aed7

Please sign in to comment.