Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix representation of __attribute__((nonnull)) to support correctly modeling | Richard Smith | 2014-08-27 | 1 | -0/+5 |
* | Combine the checks for returns_nonnull and for operator new returning null, i... | Artyom Skrobov | 2014-01-24 | 1 | -0/+15 |