public inbox for [email protected]
 help / color / mirror / Atom feed
From: kernel test robot <[email protected]>
To: David Howells <[email protected]>
Cc: [email protected],
	GNU/Weeb Mailing List <[email protected]>,
	[email protected]
Subject: [ammarfaizi2-block:dhowells/linux-fs/netfs-maple 37/40] fs/netfs/buffered_flush.c:544:56: sparse: sparse: Using plain integer as NULL pointer
Date: Tue, 5 Apr 2022 21:31:03 +0800	[thread overview]
Message-ID: <[email protected]> (raw)

tree:   https://github.com/ammarfaizi2/linux-block dhowells/linux-fs/netfs-maple
head:   674eea41fc70a740ff83ec590f9833f805852464
commit: 5e5e24ad5bf0176cea69018da2e7118b84d041f8 [37/40] netfs: Generate a write request from ->writepages()
config: alpha-randconfig-s032-20220405 (https://download.01.org/0day-ci/archive/20220405/[email protected]/config)
compiler: alpha-linux-gcc (GCC) 11.2.0
reproduce:
        wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
        chmod +x ~/bin/make.cross
        # apt-get install sparse
        # sparse version: v0.6.4-dirty
        # https://github.com/ammarfaizi2/linux-block/commit/5e5e24ad5bf0176cea69018da2e7118b84d041f8
        git remote add ammarfaizi2-block https://github.com/ammarfaizi2/linux-block
        git fetch --no-tags ammarfaizi2-block dhowells/linux-fs/netfs-maple
        git checkout 5e5e24ad5bf0176cea69018da2e7118b84d041f8
        # save the config file to linux build tree
        mkdir build_dir
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=alpha SHELL=/bin/bash fs/netfs/

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <[email protected]>


sparse warnings: (new ones prefixed by >>)
>> fs/netfs/buffered_flush.c:544:56: sparse: sparse: Using plain integer as NULL pointer
   fs/netfs/buffered_flush.c:593:48: sparse: sparse: Using plain integer as NULL pointer

vim +544 fs/netfs/buffered_flush.c

   437	
   438	/*
   439	 * Flush some of the dirty queue, transforming a part of a sequence of dirty
   440	 * regions into a block we can flush.
   441	 *
   442	 * A number of things constrain us:
   443	 *  - The region we write out should not be undergoing modification
   444	 *  - We may need to expand or split the region for a number of reasons:
   445	 *    - Filesystem storage block/object size
   446	 *    - Filesystem RPC size (wsize)
   447	 *    - Cache block size
   448	 *    - Cache DIO block size
   449	 *    - Crypto/compression block size
   450	 *
   451	 * This may be entered multiple times simultaneously.  Automatic flushing by
   452	 * the VM is serialised on I_SYNC, but things like fsync() may enter multiple
   453	 * times simultaneously.
   454	 */
   455	static int netfs_flush_dirty(struct netfs_io_request *wreq,
   456				     struct writeback_control *wbc,
   457				     struct netfs_i_context *ctx,
   458				     struct ma_state *mas,
   459				     pgoff_t *_first, pgoff_t last,
   460				     struct netfs_dirty_region *spares[2])
   461	{
   462		struct netfs_dirty_region *region;
   463		struct folio *folio;
   464		unsigned long long end;
   465		pgoff_t first = *_first;
   466		pgoff_t csize = 1UL << ctx->cache_order;
   467		long ret;
   468	
   469		XA_STATE(xas, &wreq->mapping->i_pages, 0);
   470	
   471		/* Round out the range we're looking through to accommodate whole cache
   472		 * blocks.  The cache may only be able to store blocks of that size, in
   473		 * which case we may need to add non-dirty pages to the buffer too.
   474		 */
   475		if (ctx->cache_order) {
   476			first = round_down(first, csize);
   477			last = round_up_incl(last, csize);
   478		}
   479	
   480		_enter("%lx-%lx", first, last);
   481	
   482		rcu_read_lock();
   483		mtree_lock(&ctx->dirty_regions);
   484	
   485		/* Find the first dirty region that overlaps the requested range */
   486		mas_set(mas, first);
   487		do {
   488			region = mas_find(mas, last);
   489			if (!region)
   490				goto found_nothing;
   491		} while (netfs_mas_is_flushing(region) ||
   492			 (netfs_mas_is_valid(region) && region->waiting_on_wb));
   493	
   494		_debug("query D=%x %lx-%lx",
   495		       netfs_mas_is_valid(region) ? region->debug_id : 0,
   496		       mas->index, mas->last);
   497	
   498		wreq->first = max(mas->index, first);
   499		if (wreq->first > 0) {
   500			/* The first folio might extend backwards beyond the start of
   501			 * the proposed region - in which case we need to include that
   502			 * also.  But at least, in such a case, the folio size has to
   503			 * be an integer multiple of the cache blocksize.
   504			 */
   505			if (mas->index < wreq->first) {
   506				_debug("check folio %lx", wreq->first);
   507				xas_set(&xas, wreq->first);
   508				do {
   509					xas_reset(&xas);
   510					folio = xas_load(&xas);
   511				} while (xas_retry(&xas, folio));
   512	
   513				if (folio && !xa_is_value(folio)) {
   514					/* A region span *should not* end in the middle
   515					 * of a folio.
   516					 */
   517					BUG_ON(folio->index < mas->index);
   518					if (folio->index < wreq->first) {
   519						wreq->first = folio->index;
   520						mas_set_range(mas, wreq->first, mas->last);
   521					}
   522				}
   523			}
   524	
   525			if (mas->index < wreq->first) {
   526				pgoff_t saved_last = mas->last;
   527				_debug("splitf %lx-%lx %lx", mas->index, mas->last, first);
   528				netfs_split_off_front(ctx, mas, region, &spares[0], first - 1,
   529						      netfs_dirty_trace_split_off_front);
   530				mas_set_range(mas, first, saved_last);
   531			}
   532	
   533			wreq->last = mas->last;
   534		}
   535	
   536	
   537		end = wreq->start = wreq->first * PAGE_SIZE;
   538		while (mas->last < last) {
   539			_debug("flip %lx-%lx", mas->index, mas->last);
   540			wreq->last = mas->last;
   541			mas_store(mas, netfs_mas_set_flushing(region));
   542			if (region != NETFS_COPY_TO_CACHE) {
   543				list_add_tail(&region->flush_link, &wreq->regions);
 > 544				trace_netfs_dirty(ctx, region, 0, mas->index, mas->last,
   545						  netfs_dirty_trace_flush);
   546				end = region->to;
   547			}
   548	
   549			region = mas_next(mas, mas->last + 1);
   550			if (!region || netfs_mas_is_flushing(region) ||
   551			    region->waiting_on_wb)
   552				goto no_more;
   553			if (mas->last >= last)
   554				break;
   555			_debug("query+ D=%x %lx-%lx",
   556			       netfs_mas_is_valid(region) ? region->debug_id : 0,
   557			       mas->index, mas->last);
   558		}
   559	
   560		/* Deal with the region we're looking at exceeding the specified range.
   561		 * In such a case, we need to split the region - and the last folio may
   562		 * extend beyond the end of the proposed region - in which case we need
   563		 * to include that also.  And, again, the folio size has to be an
   564		 * integer multiple of the cache blocksize.
   565		 */
   566		if (mas->last > last) {
   567			xas_set(&xas, last);
   568			do {
   569				xas_reset(&xas);
   570				folio = xas_load(&xas);
   571			} while (xas_retry(&xas, folio));
   572	
   573			if (folio && !xa_is_value(folio)) {
   574				pgoff_t flast = folio_next_index(folio) - 1;
   575	
   576				_debug("flast %lx %lx %lx", flast, mas->last, last);
   577				/* A region span *should not* end in the middle of a folio. */
   578				BUG_ON(flast > mas->last);
   579				if (flast > last) {
   580					last = flast;
   581					mas_set_range(mas, mas->index, last);
   582				}
   583			}
   584	
   585			region = netfs_split_off_front(ctx, mas, region, &spares[1], last,
   586						       netfs_dirty_trace_split_off_back);
   587		}
   588	
   589		wreq->last = mas->last;
   590		mas_store(mas, netfs_mas_set_flushing(region));
   591		if (region != NETFS_COPY_TO_CACHE) {
   592			list_add_tail(&region->flush_link, &wreq->regions);
   593			trace_netfs_dirty(ctx, region, 0, mas->index, mas->last,
   594					  netfs_dirty_trace_flush2);
   595		}
   596	
   597	no_more:
   598		/* We've now got a contiguous span.  Some of the subspans may only need
   599		 * writing to the cache, whilst others need writing to both the server
   600		 * and the cache.
   601		 */
   602		_debug("span %lx-%lx", wreq->first, wreq->last);
   603		*_first = last + 1;
   604		mtree_unlock(&ctx->dirty_regions);
   605		rcu_read_unlock();
   606	
   607		if (wreq->i_size > end)
   608			end = min_t(unsigned long long, wreq->i_size, (wreq->last + 1) * PAGE_SIZE);
   609		wreq->len = end - wreq->start;
   610	
   611		/* Load the pages into the raw-data buffer and transition them over to
   612		 * the writeback state.
   613		 */
   614		ret = netfs_flush_get_pages(wreq, ctx);
   615		if (ret < 0)
   616			goto undo;
   617	
   618		if (wreq->buffering == NETFS_ENC_BUFFER_TO_BOUNCE) {
   619			ret = netfs_alloc_buffer(&wreq->bounce, wreq->first,
   620						 wreq->last - wreq->first + 1);
   621			if (ret < 0)
   622				goto undo;
   623		}
   624	
   625		netfs_writeback_lock(wreq);
   626		netfs_writeback_start(wreq);
   627	
   628		wbc->nr_to_write -= wreq->last - wreq->first + 1;
   629		*_first = wreq->last + 1;
   630		_leave(" = %lx [%lx]", wreq->last - wreq->first + 1, *_first);
   631		return 1;
   632	
   633	found_nothing:
   634		*_first = last + 1;
   635		mtree_unlock(&ctx->dirty_regions);
   636		rcu_read_unlock();
   637		return 0;
   638	
   639	undo:
   640		BUG(); // TODO
   641	}
   642	

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp

                 reply	other threads:[~2022-04-05 13:31 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    [email protected] \
    [email protected] \
    [email protected] \
    [email protected] \
    [email protected] \
    [email protected] \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox