Viewing file: 20070623-1.c (1.54 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
#include <limits.h>
int __attribute__((noinline)) nge(int a, int b) {return -(a >= b);} int __attribute__((noinline)) ngt(int a, int b) {return -(a > b);} int __attribute__((noinline)) nle(int a, int b) {return -(a <= b);} int __attribute__((noinline)) nlt(int a, int b) {return -(a < b);} int __attribute__((noinline)) neq(int a, int b) {return -(a == b);} int __attribute__((noinline)) nne(int a, int b) {return -(a != b);} int __attribute__((noinline)) ngeu(unsigned a, unsigned b) {return -(a >= b);} int __attribute__((noinline)) ngtu(unsigned a, unsigned b) {return -(a > b);} int __attribute__((noinline)) nleu(unsigned a, unsigned b) {return -(a <= b);} int __attribute__((noinline)) nltu(unsigned a, unsigned b) {return -(a < b);}
int main() { if (nge(INT_MIN, INT_MAX) != 0) abort(); if (nge(INT_MAX, INT_MIN) != -1) abort(); if (ngt(INT_MIN, INT_MAX) != 0) abort(); if (ngt(INT_MAX, INT_MIN) != -1) abort(); if (nle(INT_MIN, INT_MAX) != -1) abort(); if (nle(INT_MAX, INT_MIN) != 0) abort(); if (nlt(INT_MIN, INT_MAX) != -1) abort(); if (nlt(INT_MAX, INT_MIN) != 0) abort();
if (neq(INT_MIN, INT_MAX) != 0) abort(); if (neq(INT_MAX, INT_MIN) != 0) abort(); if (nne(INT_MIN, INT_MAX) != -1) abort(); if (nne(INT_MAX, INT_MIN) != -1) abort();
if (ngeu(0, ~0U) != 0) abort(); if (ngeu(~0U, 0) != -1) abort(); if (ngtu(0, ~0U) != 0) abort(); if (ngtu(~0U, 0) != -1) abort(); if (nleu(0, ~0U) != -1) abort(); if (nleu(~0U, 0) != 0) abort(); if (nltu(0, ~0U) != -1) abort(); if (nltu(~0U, 0) != 0) abort(); exit(0); }
|