diff options
| author | Ignacio Etcheverry <neikeq@users.noreply.github.com> | 2019-02-10 19:08:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 19:08:15 +0100 |
| commit | 3afd9deded8fb2119c4dfd3d6c92d3af24edb5e9 (patch) | |
| tree | 628b78961d9f14b7d806b221c54efd2083d7cb28 /misc | |
| parent | 0f5a4fa7d5449e96127482889596a878c73b9915 (diff) | |
| parent | b67955afcae7a63a37fba7d046c7217bd8a6c3c3 (diff) | |
Merge pull request #25774 from neikeq/fix-noreturn-attr-check
Fix check to determine if [[noreturn]] attribute is usable
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions