10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions

          --- old/usr/src/lib/libm/Makefile.libm.com
          +++ new/usr/src/lib/libm/Makefile.libm.com

   1    1  #
   2    2  # This file and its contents are supplied under the terms of the
   3    3  # Common Development and Distribution License ("CDDL"), version 1.0.

   4    4  # You may only use this file in accordance with the terms of version
   5    5  # 1.0 of the CDDL.
   6    6  #
   7    7  # A full copy of the text of the CDDL should have accompanied this
   8    8  # source.  A copy of the CDDL is also available via the Internet at
   9    9  # http://www.illumos.org/license/CDDL.
  10   10  #
  11   11  
  12   12  #
  13   13  # Copyright 2011 Nexenta Systems, Inc.  All rights reserved.
       14 +# Copyright (c) 2018, Joyent, Inc.
  14   15  #
  15   16  
  16   17  LIBMDIR         = $(SRC)/lib/libm
  17   18  
  18   19  LIBMSRC         = $(LIBMDIR)/common
  19   20  
  20   21  CPP_CMD         = $(CC) -E -Xs
  21   22  
  22   23  ASSUFFIX_sparc  = S
  23   24  ASSUFFIX_i386   = s

  24   25  ASSUFFIX        = $(ASSUFFIX_$(MACH))
  25   26  
  26   27  # With studio CSTD of neither enabled nor disabled is "no_lib", whereby we
  27   28  # expect C99-the-language, but don't modify the behaviour of library routines.
  28   29  # This is VERY IMPORTANT, as $(CSTD_GNU99), for instance, would link us with
  29   30  # values-xpg6, which would introduce an __xpg6 to our object with the C99
  30   31  # flags set, causing us to default C99 libm behaviour on, breaking
  31   32  # compatibility.
  32   33  #
  33   34  # We must then, unfortunately, defeat the GNU compiler _defaulting_ to C99, by
  34   35  # in that case setting it back to gnu89, which _also_ accepts C99 syntax as
  35   36  # far as is important.
  36   37  CSTD            =
  37   38  CFLAGS          += -_gcc=-std=gnu89
  38   39  CFLAGS64        += -_gcc=-std=gnu89
  39   40  
  40   41  M4FLAGS         = -D__STDC__ -DPIC
  41   42  
  42   43  LDBLDIR_sparc   = Q
  43   44  LDBLDIR_i386    = LD
  44   45  LDBLDIR         = $(LDBLDIR_$(MACH))
  45   46  
  46   47  LM_IL           = $(LIBMDIR)/$(TARGET_ARCH)/src/locallibm.il
  47   48  
  48   49  CFLAGS          += $(C_PICFLAGS) $(XSTRCONST) $(LM_IL)
  49   50  CFLAGS64        += $(C_PICFLAGS) $(XSTRCONST) $(LM_IL)
  50   51  sparc_CFLAGS    += -Wa,-xarch=v8plus
  51   52  
  52   53  CPPFLAGS        += -I$(LIBMSRC)/C \
  53   54                  -I$(LIBMSRC)/$(LDBLDIR) -I$(LIBMDIR)/$(TARGET_ARCH)/src
  54   55  
  55   56  # GCC needs __C99FEATURES__ such that the implementations of isunordered,

  56   57  # isgreaterequal, islessequal, etc, exist.  This is basically equivalent to
  57   58  # providing no -xc99 to Studio, in that it gets us the C99 language features,
  58   59  # but not values-xpg6, the reason for which is outlined with CSTD.
  59   60  CFLAGS          += -_gcc=-D__C99FEATURES__
  60   61  CFLAGS64        += -_gcc=-D__C99FEATURES__
  61   62  
  62   63  # libm depends on integer overflow characteristics
  63   64  CFLAGS          += -_gcc=-fno-strict-overflow
  64   65  CFLAGS64        += -_gcc=-fno-strict-overflow
  65   66  
       67 +# sparse currently has no _Complex support
       68 +CFLAGS          += -_smatch=off
       69 +CFLAGS64        += -_smatch=off
       70 +
  66   71  $(DYNLIB)       := LDLIBS += -lc
  67   72  
  68   73  $(LINTLIB)      := SRCS = $(LIBMSRC)/$(LINTSRC)
  69   74  
  70   75  CLEANFILES      += pics/*.s pics/*.S
  71   76  
  72   77  FPDEF_amd64     = -DARCH_amd64
  73   78  FPDEF_sparc     = -DCG89 -DARCH_v8plus -DFPADD_TRAPS_INCOMPLETE_ON_NAN
  74   79  FPDEF_sparcv9   = -DARCH_v9 -DFPADD_TRAPS_INCOMPLETE_ON_NAN
  75   80  FPDEF           = $(FPDEF_$(TARGET_ARCH))

  76   81  
  77   82  ASFLAGS         = -P -D_ASM $(FPDEF)
  78   83  
  79   84  XARCH_sparc     = v8plus
  80   85  XARCH_sparcv9   = v9
  81   86  XARCH_i386      = f80387
  82   87  XARCH_amd64     = amd64
  83   88  XARCH           = $(XARCH_$(TARGET_ARCH))
  84   89  
  85   90  ASOPT_sparc     = -xarch=$(XARCH) $(AS_PICFLAGS)
  86   91  ASOPT_sparcv9   = -xarch=$(XARCH) $(AS_PICFLAGS)
  87   92  ASOPT_i386      = 
  88   93  ASOPT_amd64     = -xarch=$(XARCH) $(AS_PICFLAGS)
  89   94  ASOPT           = $(ASOPT_$(TARGET_ARCH))
  90   95  
  91   96  ASFLAGS         += $(ASOPT)
  92   97  
  93   98  CPPFLAGS_sparc = -DFPADD_TRAPS_INCOMPLETE_ON_NAN \
  94   99          -DFDTOS_TRAPS_INCOMPLETE_IN_FNS_MODE
  95  100  
  96  101  CPPFLAGS        += $(CPPFLAGS_$(MACH))
  97  102  ASFLAGS         += $(CPPFLAGS)

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX