Add Coccinelle rules - bitmap set operations

[jnidzwetzki]

Some bitmap set operations recycle one of the input parameters or return a reference to a new bitmap set. The added set of rules checks that the returned reference is not discarded.

---

Example output

-	bms_del_member(chunk_state->unused_batch_states, next_free_batch);
+	/* Result of bms_del_member has to be used */
+	chunk_state->unused_batch_states = bms_del_member(chunk_state->unused_batch_states,
+							  next_free_batch);
 

---

Disable-check: force-changelog-file
Should be merged after: #6264

[github-actions]

@nikkhils, @mkindahl: please review this pull request.

Powered by pull-review

[mkindahl]

Seems like a reasonable check except that there is no guarantee that the result should be stored in E1, but since this just creates a diff, it should demonstrate the problem.

[codecov]

Codecov Report

Merging #6265 (8ef88fb) into main (7f25cd9) will decrease coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #6265      +/-   ##
==========================================
- Coverage   65.28%   65.26%   -0.02%     
==========================================
  Files         247      247              
  Lines       57486    57440      -46     
  Branches    12776    12757      -19     
==========================================
- Hits        37531    37491      -40     
- Misses      18068    18081      +13     
+ Partials     1887     1868      -19     

see 65 files with indirect coverage changes

📣 Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!