gcc/testsuite/c-c++-common/analyzer/errno-1.c

   1 #include <errno.h>
   2 #include "analyzer-decls.h"
   3
   4 extern void external_fn (void);
   5
   6 int test_reading_errno (void)
   7 {
   8   return errno;
   9 }
  10
  11 void test_setting_errno (int val)
  12 {
  13   errno = val;
  14 }
  15
  16 void test_storing_to_errno (int val)
  17 {
  18   __analyzer_eval (errno == val); /* { dg-warning "UNKNOWN" } */
  19   errno = val;
  20   __analyzer_eval (errno == val); /* { dg-warning "TRUE" } */
  21   external_fn ();
  22   __analyzer_eval (errno == val); /* { dg-warning "UNKNOWN" } */
  23 }