File: set-uimm0.c

package info (click to toggle)
sparse 0.6.4-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 5,868 kB
  • sloc: ansic: 46,050; sh: 614; python: 301; perl: 293; makefile: 279
file content (14 lines) | stat: -rw-r--r-- 552 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
static _Bool setlt0(unsigned int a) { return (a <   0u) == 0; }
static _Bool setge0(unsigned int a) { return (a >=  0u) == 1; }
static _Bool setle0(unsigned int a) { return (a <=  0u) == (a == 0); }
static _Bool setgt0(unsigned int a) { return (a >   0u) == (a != 0); }
static _Bool setlt1(unsigned int a) { return (a <   1u) == (a == 0); }
static _Bool setge1(unsigned int a) { return (a >=  1u) == (a != 0); }

/*
 * check-name: set-uimm0
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-pattern(6): ret\\.1 *\\$1
 */