| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <202204151228.UVfogpPF-lkp@intel.com>
Date: Fri, 15 Apr 2022 12:38:58 +0800
From: kernel test robot <lkp@...el.com>
To: "Darrick J. Wong" <djwong@...nel.org>
Cc: kbuild-all@...ts.01.org,
"Darrick J. Wong" <darrick.wong@...cle.com>,
linux-kernel@...r.kernel.org
Subject: [djwong-xfs:vectorized-scrub 283/396]
fs/xfs/libxfs/xfs_bmap.c:5297:17: warning: Local variable 'flags' shadows
outer variable [shadowVariable]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/djwong/xfs-linux.git vectorized-scrub
head: bd756ef7af68274b79308166ee64949d288be861
commit: 1f5b7812f0d7f8d634b30fa8d286ef85084165fb [283/396] xfs: convert "skip_discard" to a proper flags bitset
compiler: riscv64-linux-gcc (GCC) 11.2.0
reproduce (cppcheck warning):
# apt-get install cppcheck
git checkout 1f5b7812f0d7f8d634b30fa8d286ef85084165fb
cppcheck --quiet --enable=style,performance,portability --template=gcc FILE
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@...el.com>
cppcheck warnings: (new ones prefixed by >>)
>> fs/xfs/libxfs/xfs_bmap.c:5297:17: warning: Local variable 'flags' shadows outer variable [shadowVariable]
unsigned int flags = 0;
^
fs/xfs/libxfs/xfs_bmap.c:5066:8: note: Shadowed declaration
int flags = 0;/* inode logging flags */
^
fs/xfs/libxfs/xfs_bmap.c:5297:17: note: Shadow variable
unsigned int flags = 0;
^
cppcheck possible warnings: (new ones prefixed by >>, may not real problems)
>> fs/xfs/xfs_itable.c:79:8: warning: Redundant initialization for 'error'. The initialized value is overwritten before it is read. [redundantInitialization]
error = xfs_iget(mp, tp, ino,
^
fs/xfs/xfs_itable.c:77:14: note: error is initialized
int error = -EINVAL;
^
fs/xfs/xfs_itable.c:79:8: note: error is overwritten
error = xfs_iget(mp, tp, ino,
^
fs/xfs/libxfs/xfs_bmap.c:3445:6: warning: The if condition is the same as the previous if condition [duplicateCondition]
if (align) {
^
fs/xfs/libxfs/xfs_bmap.c:3436:6: note: First condition
if (align) {
^
fs/xfs/libxfs/xfs_bmap.c:3445:6: note: Second condition
if (align) {
^
fs/xfs/libxfs/xfs_bmap.c:113:24: warning: Parameter 'irec' can be declared with const [constParameter]
struct xfs_bmbt_irec *irec,
^
fs/xfs/libxfs/xfs_bmap.c:3268:17: warning: Parameter 'blen' can be declared with const [constParameter]
xfs_extlen_t *blen,
^
vim +/flags +5297 fs/xfs/libxfs/xfs_bmap.c
5046
5047 /*
5048 * Called by xfs_bmapi to update file extent records and the btree
5049 * after removing space.
5050 */
5051 STATIC int /* error */
5052 xfs_bmap_del_extent_real(
5053 xfs_inode_t *ip, /* incore inode pointer */
5054 xfs_trans_t *tp, /* current transaction pointer */
5055 struct xfs_iext_cursor *icur,
5056 struct xfs_btree_cur *cur, /* if null, not a btree */
5057 xfs_bmbt_irec_t *del, /* data to remove from extents */
5058 int *logflagsp, /* inode logging flags */
5059 int whichfork, /* data or attr fork */
5060 int bflags) /* bmapi flags */
5061 {
5062 xfs_fsblock_t del_endblock=0; /* first block past del */
5063 xfs_fileoff_t del_endoff; /* first offset past del */
5064 int do_fx; /* free extent at end of routine */
5065 int error; /* error return value */
5066 int flags = 0;/* inode logging flags */
5067 struct xfs_bmbt_irec got; /* current extent entry */
5068 xfs_fileoff_t got_endoff; /* first offset past got */
5069 int i; /* temp state */
5070 struct xfs_ifork *ifp; /* inode fork pointer */
5071 xfs_mount_t *mp; /* mount structure */
5072 xfs_filblks_t nblks; /* quota/sb block count */
5073 xfs_bmbt_irec_t new; /* new record to be inserted */
5074 /* REFERENCED */
5075 uint qfield; /* quota field to update */
5076 int state = xfs_bmap_fork_to_state(whichfork);
5077 struct xfs_bmbt_irec old;
5078
5079 mp = ip->i_mount;
5080 XFS_STATS_INC(mp, xs_del_exlist);
5081
5082 ifp = XFS_IFORK_PTR(ip, whichfork);
5083 ASSERT(del->br_blockcount > 0);
5084 xfs_iext_get_extent(ifp, icur, &got);
5085 ASSERT(got.br_startoff <= del->br_startoff);
5086 del_endoff = del->br_startoff + del->br_blockcount;
5087 got_endoff = got.br_startoff + got.br_blockcount;
5088 ASSERT(got_endoff >= del_endoff);
5089 ASSERT(!isnullstartblock(got.br_startblock));
5090 qfield = 0;
5091 error = 0;
5092
5093 /*
5094 * If it's the case where the directory code is running with no block
5095 * reservation, and the deleted block is in the middle of its extent,
5096 * and the resulting insert of an extent would cause transformation to
5097 * btree format, then reject it. The calling code will then swap blocks
5098 * around instead. We have to do this now, rather than waiting for the
5099 * conversion to btree format, since the transaction will be dirty then.
5100 */
5101 if (tp->t_blk_res == 0 &&
5102 ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
5103 ifp->if_nextents >= XFS_IFORK_MAXEXT(ip, whichfork) &&
5104 del->br_startoff > got.br_startoff && del_endoff < got_endoff)
5105 return -ENOSPC;
5106
5107 flags = XFS_ILOG_CORE;
5108 if (xfs_ifork_is_realtime(ip, whichfork)) {
5109 if (!(bflags & XFS_BMAPI_REMAP)) {
5110 error = xfs_rtfree_blocks(tp, del->br_startblock,
5111 del->br_blockcount);
5112 if (error)
5113 goto done;
5114 }
5115 do_fx = 0;
5116 qfield = XFS_TRANS_DQ_RTBCOUNT;
5117 } else {
5118 do_fx = 1;
5119 qfield = XFS_TRANS_DQ_BCOUNT;
5120 }
5121 nblks = del->br_blockcount;
5122
5123 del_endblock = del->br_startblock + del->br_blockcount;
5124 if (cur) {
5125 error = xfs_bmbt_lookup_eq(cur, &got, &i);
5126 if (error)
5127 goto done;
5128 if (XFS_IS_CORRUPT(mp, i != 1)) {
5129 xfs_btree_mark_sick(cur);
5130 error = -EFSCORRUPTED;
5131 goto done;
5132 }
5133 }
5134
5135 if (got.br_startoff == del->br_startoff)
5136 state |= BMAP_LEFT_FILLING;
5137 if (got_endoff == del_endoff)
5138 state |= BMAP_RIGHT_FILLING;
5139
5140 switch (state & (BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING)) {
5141 case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
5142 /*
5143 * Matches the whole extent. Delete the entry.
5144 */
5145 xfs_iext_remove(ip, icur, state);
5146 xfs_iext_prev(ifp, icur);
5147 ifp->if_nextents--;
5148
5149 flags |= XFS_ILOG_CORE;
5150 if (!cur) {
5151 flags |= xfs_ilog_fext(whichfork);
5152 break;
5153 }
5154 if ((error = xfs_btree_delete(cur, &i)))
5155 goto done;
5156 if (XFS_IS_CORRUPT(mp, i != 1)) {
5157 xfs_btree_mark_sick(cur);
5158 error = -EFSCORRUPTED;
5159 goto done;
5160 }
5161 break;
5162 case BMAP_LEFT_FILLING:
5163 /*
5164 * Deleting the first part of the extent.
5165 */
5166 got.br_startoff = del_endoff;
5167 got.br_startblock = del_endblock;
5168 got.br_blockcount -= del->br_blockcount;
5169 xfs_iext_update_extent(ip, state, icur, &got);
5170 if (!cur) {
5171 flags |= xfs_ilog_fext(whichfork);
5172 break;
5173 }
5174 error = xfs_bmbt_update(cur, &got);
5175 if (error)
5176 goto done;
5177 break;
5178 case BMAP_RIGHT_FILLING:
5179 /*
5180 * Deleting the last part of the extent.
5181 */
5182 got.br_blockcount -= del->br_blockcount;
5183 xfs_iext_update_extent(ip, state, icur, &got);
5184 if (!cur) {
5185 flags |= xfs_ilog_fext(whichfork);
5186 break;
5187 }
5188 error = xfs_bmbt_update(cur, &got);
5189 if (error)
5190 goto done;
5191 break;
5192 case 0:
5193 /*
5194 * Deleting the middle of the extent.
5195 */
5196
5197 /*
5198 * For directories, -ENOSPC is returned since a directory entry
5199 * remove operation must not fail due to low extent count
5200 * availability. -ENOSPC will be handled by higher layers of XFS
5201 * by letting the corresponding empty Data/Free blocks to linger
5202 * until a future remove operation. Dabtree blocks would be
5203 * swapped with the last block in the leaf space and then the
5204 * new last block will be unmapped.
5205 *
5206 * The above logic also applies to the source directory entry of
5207 * a rename operation.
5208 */
5209 error = xfs_iext_count_may_overflow(ip, whichfork, 1);
5210 if (error) {
5211 ASSERT(S_ISDIR(VFS_I(ip)->i_mode) &&
5212 whichfork == XFS_DATA_FORK);
5213 error = -ENOSPC;
5214 goto done;
5215 }
5216
5217 old = got;
5218
5219 got.br_blockcount = del->br_startoff - got.br_startoff;
5220 xfs_iext_update_extent(ip, state, icur, &got);
5221
5222 new.br_startoff = del_endoff;
5223 new.br_blockcount = got_endoff - del_endoff;
5224 new.br_state = got.br_state;
5225 new.br_startblock = del_endblock;
5226
5227 flags |= XFS_ILOG_CORE;
5228 if (cur) {
5229 error = xfs_bmbt_update(cur, &got);
5230 if (error)
5231 goto done;
5232 error = xfs_btree_increment(cur, 0, &i);
5233 if (error)
5234 goto done;
5235 cur->bc_rec.b = new;
5236 error = xfs_btree_insert(cur, &i);
5237 if (error && error != -ENOSPC)
5238 goto done;
5239 /*
5240 * If get no-space back from btree insert, it tried a
5241 * split, and we have a zero block reservation. Fix up
5242 * our state and return the error.
5243 */
5244 if (error == -ENOSPC) {
5245 /*
5246 * Reset the cursor, don't trust it after any
5247 * insert operation.
5248 */
5249 error = xfs_bmbt_lookup_eq(cur, &got, &i);
5250 if (error)
5251 goto done;
5252 if (XFS_IS_CORRUPT(mp, i != 1)) {
5253 xfs_btree_mark_sick(cur);
5254 error = -EFSCORRUPTED;
5255 goto done;
5256 }
5257 /*
5258 * Update the btree record back
5259 * to the original value.
5260 */
5261 error = xfs_bmbt_update(cur, &old);
5262 if (error)
5263 goto done;
5264 /*
5265 * Reset the extent record back
5266 * to the original value.
5267 */
5268 xfs_iext_update_extent(ip, state, icur, &old);
5269 flags = 0;
5270 error = -ENOSPC;
5271 goto done;
5272 }
5273 if (XFS_IS_CORRUPT(mp, i != 1)) {
5274 xfs_btree_mark_sick(cur);
5275 error = -EFSCORRUPTED;
5276 goto done;
5277 }
5278 } else
5279 flags |= xfs_ilog_fext(whichfork);
5280
5281 ifp->if_nextents++;
5282 xfs_iext_next(ifp, icur);
5283 xfs_iext_insert(ip, icur, &new, state);
5284 break;
5285 }
5286
5287 /* remove reverse mapping */
5288 xfs_rmap_unmap_extent(tp, ip, whichfork, del);
5289
5290 /*
5291 * If we need to, add to list of extents to delete.
5292 */
5293 if (do_fx && !(bflags & XFS_BMAPI_REMAP)) {
5294 if (xfs_is_reflink_inode(ip) && whichfork == XFS_DATA_FORK) {
5295 xfs_refcount_decrease_extent(tp, del);
5296 } else {
> 5297 unsigned int flags = 0;
5298
5299 if ((bflags & XFS_BMAPI_NODISCARD) ||
5300 del->br_state == XFS_EXT_UNWRITTEN)
5301 flags |= XFS_FREE_EXTENT_SKIP_DISCARD;
5302
5303 xfs_free_extent_later(tp, del->br_startblock,
5304 del->br_blockcount, NULL, flags);
5305 }
5306 }
5307
5308 /*
5309 * Adjust inode # blocks in the file.
5310 */
5311 if (nblks)
5312 ip->i_nblocks -= nblks;
5313 /*
5314 * Adjust quota data.
5315 */
5316 if (qfield && !(bflags & XFS_BMAPI_REMAP))
5317 xfs_trans_mod_dquot_byino(tp, ip, qfield, (long)-nblks);
5318
5319 done:
5320 *logflagsp = flags;
5321 return error;
5322 }
5323
--
0-DAY CI Kernel Test Service
https://01.org/lkp
Powered by blists - more mailing lists