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

Serge Pavlov via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 28 23:56:47 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) {
----------------
spavloff wrote:

The test was prepared by reducing the test from the issue, so it is not a piece of GNU code anymore. The names are corrected.

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


More information about the cfe-commits mailing list