[clang] [Analysis] Prevent revisiting block when searching for noreturn vars (PR #150582)

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 25 06:40:03 PDT 2025


================
@@ -225,3 +225,20 @@ extern void abc_02(func_type *);
   abc_02(&func_ptr);
   func_ptr();
 } // expected-warning {{function declared 'noreturn' should not return}}
+
+namespace Issue150336 {
+void free(void *);
+typedef void (*sel_freefunc)(void *);
+struct gmx_ana_selmethod_t {
+  sel_freefunc free;
+  int nparams;
+  int *param;
+};
+void gmx_selelem_free_method(struct gmx_ana_selmethod_t* method, void* mdata) {
----------------
erichkeane wrote:

Please anonymize the names/test a little.  Gromacs is GPL, so we cannot accept code from it, so please write-the-test from scratch.

https://github.com/llvm/llvm-project/pull/150582


More information about the cfe-commits mailing list