Version 3.41.0 (December 4, 2023)
User-visible changes:
New command-line options:
-AassumePureGetters Unsoundly assume that every getter method is pure
Implementation details:
Added method isDeterministic() to the AnnotationProvider interface.
CFAbstractValue#leastUpperBound and CFAbstractValue#widenUpperBound are now final. Subclasses should override method CFAbstractValue#upperBound(V, TypeMirror, boolean) instead.
Closed issues:
#1497, #3345, #6037, #6204, #6276, #6282, #6290, #6296, #6319, #6327.