Simmo Saan

I added some documentation to the three `_with` functions in 4762ced25427035e9b5a1a0bf172067905338169.

I reverted the questionable cast refinement, but MacOS CI doesn't pass still. Apparently there are CIL differences even on the non-`sqrt` case. Ubuntu: ```c #line 9 tmp = imaxabs(data); #line...

Just to have this documented: PR #1412 and this PR would cause a conflict if both were merged. Both add a new field in the config file lines of layouts.

It's probably not worth the effort since in WeeChat's structs they're separate fields anyway, so correctly combining and splitting them is just extra effort. And also error-prone if one of...

I just tried on Ubuntu 24.04 and dune 3.18.1, and the exact same crash still occurs.

Indeed, the big question is how it's even supposed to work. The current implementation (improved from CIL's `Stats`) requires well-nested `enter` and `exit` calls globally, which `wrap` from multiple domains...

I can do that, but I just followed what's already common in al-folio: the `contains '://'` for determining if something is an URL or not.

The easy workaround would be to just allow constant 0 index offset on a struct as a no-op. However, I think we might have a deeper issue here: `axel.conn +...

> The points-to set for `ptr` is `{ str[0].b }` which seems ok! But it isn't OK because it's indexing a struct. That indexing should not be there at all,...

We already have the option `sem.null-pointer.dereference` (for reading) and I think we decided to reuse that for writing. Its name and values might need to be changed though to match...