Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | strict funcs: use control flow information for a more precise analysis (#15271) | Andreas Rumpf | 2020-09-06 | 1 | -3/+8 |
* | strict func: much better error messages (#15068) | Andreas Rumpf | 2020-07-25 | 1 | -1/+4 |
* | writing to a location counts as "side effect"; implements https://github.com/... | Andreas Rumpf | 2020-07-25 | 1 | -0/+31 |