@@ -104,6 +104,7 @@ abstract contract Checkpoints {
104
104
}
105
105
106
106
/// @notice Change delegation for `delegator` to `delegatee`.
107
+ // slither-disable-next-line dead-code
107
108
function delegate (address delegator , address delegatee ) internal virtual ;
108
109
109
110
/// @notice Moves voting power from one delegate to another
@@ -117,6 +118,8 @@ abstract contract Checkpoints {
117
118
) internal {
118
119
if (src != dst && amount > 0 ) {
119
120
if (src != address (0 )) {
121
+ // https://github.com/crytic/slither/issues/960
122
+ // slither-disable-next-line variable-scope
120
123
(uint256 oldWeight , uint256 newWeight ) = writeCheckpoint (
121
124
_checkpoints[src],
122
125
subtract,
@@ -126,6 +129,8 @@ abstract contract Checkpoints {
126
129
}
127
130
128
131
if (dst != address (0 )) {
132
+ // https://github.com/crytic/slither/issues/959
133
+ // slither-disable-next-line uninitialized-local
129
134
(uint256 oldWeight , uint256 newWeight ) = writeCheckpoint (
130
135
_checkpoints[dst],
131
136
add,
@@ -155,6 +160,7 @@ abstract contract Checkpoints {
155
160
156
161
if (pos > 0 ) {
157
162
uint32 fromBlock = decodeBlockNumber (ckpts[pos - 1 ]);
163
+ // slither-disable-next-line incorrect-equality
158
164
if (fromBlock == block .number ) {
159
165
ckpts[pos - 1 ] = encodeCheckpoint (
160
166
fromBlock,
@@ -214,6 +220,7 @@ abstract contract Checkpoints {
214
220
}
215
221
216
222
/// @notice Maximum token supply. Defaults to `type(uint96).max` (2^96 - 1)
223
+ // slither-disable-next-line dead-code
217
224
function maxSupply () internal view virtual returns (uint96 ) {
218
225
return type (uint96 ).max;
219
226
}
0 commit comments