hc
2023-11-07 f45e756958099c35d6afb746df1d40a1c6302cfc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef ASSUME_H
#define ASSUME_H
 
/* Provide an assumption macro that can be disabled for gcc. */
#ifdef RUN
#define assume(x) \
   do { \
       /* Evaluate x to suppress warnings. */ \
       (void) (x); \
   } while (0)
 
#else
#define assume(x) __CPROVER_assume(x)
#endif
 
#endif