aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-11 17:19:35 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-11 17:20:10 +0200
commit85db025243f3bef28b78d38b5fc1429adbceb4e4 (patch)
tree55a0443ed205487580492d18a6a8a2c255b06c61 /Documentation
parent8d5756f55040e60adb1a8c3190e06a3822f4ff92 (diff)
parentf8620c949b50a824d17d8c7edd4d933cf390b2b4 (diff)
downloadsparse-dev-85db025243f3bef28b78d38b5fc1429adbceb4e4.tar.gz
Merge branch 'more-builtin' (early part)
* builtin: teach sparse about __builtin_ia32_pause()
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions