Open oharboe opened 1 year ago
@vvbandeira please setup a sanitizer build pipeline
@gadfort would you look at the gui issues and @eder-matheus can look at the others.
@vvbandeira please setup a sanitizer build pipeline
I think there is a lot to be said for automatic failure of PRs upon sanatizer failures, but that does mean that false positives have to be dealt with.
FYI, if you see this one, it is a false positive:
/home/oyvind/OpenROAD-flow-scripts/tools/OpenROAD/src/gpl/src/nesterovBase.cpp:344:36: runtime error: signed integer overflow: -2147483648 - 2147483647 cannot be represented in type 'int'
/home/oyvind/OpenROAD-flow-scripts/tools/OpenROAD/src/gpl/src/nesterovBase.cpp:344:50: runtime error: signed integer overflow: -2147483648 - 2147483647 cannot be represented in type 'int'
[NesterovSolve] Iter: 1 overflow: 0.995667 HPWL: 7577714
[NesterovSolve] Iter: 10 overflow: 0.995671 HPWL: 2144047
The code can easily be rewritten not to trigger a false positive by using INT_MAX - 1 and INT_MIN + 1:
@maliberty I'm not sure what I'm looking for here. I'm happy to fix anything, but I'm not 100% sure that the issue is
To be honest I don't see the problem either now that I look at it. I wonder if it is confused by multiple inheritance.
A possible for fix the gui error: https://github.com/The-OpenROAD-Project/OpenROAD/pull/3251
@maliberty I think we're agreed that removing sanatizer issues and checking for them in CI would be great.
If so, then this issue can be closed. It doesn't contain anything specifically actionable.
Description
Some of these look interesting w.r.t. that they could be real problems or produce rare non-determinism.
Build with:
Then run:
Hits:
Suggested Solution
No response
Additional Context
No response