diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-31 00:29:40 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-01 03:27:20 +0200 |
| commit | da29278349ab3fdda107b10264941c7370b92c1c (patch) | |
| tree | 4e572f2912fbc1e9701e7f5d5d57455cca1d9ab3 /validation/preprocessor | |
| parent | ed5dcc156b3651d089059c4f93c70229490c086c (diff) | |
| download | sparse-dev-da29278349ab3fdda107b10264941c7370b92c1c.tar.gz | |
fix typing of __builtin_expect()
Typewisely, sparse process __builtin_expect() as:
1) returning 'int'
2) taking any type in first & second arg
3) returning exactly its first argument, silently, even
if this conflicts with 1).
but this doesn't match with how gcc declare it:
long __builtin_expect(long, long);
Fix this by giving the proper prototype to this builtin
and removing the bogus 'returns an int'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions
