Changes between Initial Version and Version 1 of Ticket #917


Ignore:
Timestamp:
09/07/12 02:51:26 (13 years ago)
Author:
Mario Domenech Goulart
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #917

    • Property Summary scrutiny test breaks with clang → tests that rely on diff break with clang

  • Ticket #917 – Description

    initial v1  
    1 Not a serious problem.  clang generates some warnings that are not in tests/scrutiny.expected, so diff reports differences.
     1Not a serious problem.  clang generates some warnings that are not in the expected output files.
    22
    3 Here's the full output of the scrutiny test when built by clang:
     3Warnings like:
    44
    55{{{
    6 ======================================== scrutiny tests ...
    7 ../chicken typematch-tests.scm -output-file a.c -verbose -include-path .. -specialize -no-warnings
    8 clang a.c -o a.o -c  -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -w -I.. -I"/home/mario/local/chicken-4.8.0rc3-clang/include/chicken"
    9 rm a.c
    10 clang a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3-clang/lib"  -Wl,-R"/home/mario/local/chicken-4.8.0rc3-clang/lib" -lchicken -lm -ldl
    11 rm a.o
    12 check fixnum 123
    13 check string abc
    14 check symbol (quote abc)
    15 check char x
    16 check boolean #t
    17 check number (+ 1 2)
    18 check (list fixnum) (quote (1))
    19 check (list symbol) (quote (a))
    20 check (list fixnum) (list 1)
    21 check pair (quote (1 . 2))
    22 check procedure +
    23 check vector (quote #(1))
    24 check null (quote ())
    25 check input-port (current-input-port)
    26 check blob (make-blob 10)
    27 check pointer (address->pointer 0)
    28 check pointer-vector (make-pointer-vector 1)
    29 check locative (make-locative a)
    30 check (struct promise) (##sys#make-structure (quote promise))
    31 check (pair fixnum float) (quote (1 . 2.3))
    32 check (vector symbol) (quote #(a))
    33 check (list string) (quote (ok))
    34 specialize fixnum
    35 specialize not fixnum
    36 specialize string
    37 specialize not string
    38 specialize symbol
    39 specialize not symbol
    40 specialize char
    41 specialize not char
    42 specialize boolean
    43 specialize not boolean
    44 specialize (list fixnum)
    45 specialize not (list fixnum)
    46 specialize pair
    47 specialize not pair
    48 specialize procedure
    49 specialize not procedure
    50 specialize (vector fixnum)
    51 specialize not (vector fixnum)
    52 specialize null
    53 specialize not null
    54 specialize undefined
    55 specialize not undefined
    56 specialize input-port
    57 specialize not input-port
    58 specialize blob
    59 specialize not blob
    60 specialize pointer
    61 specialize not pointer
    62 specialize pointer-vector
    63 specialize not pointer-vector
    64 specialize locative
    65 specialize not locative
    66 specialize (struct promise)
    67 specialize not (struct promise)
    68 specialize (pair fixnum float)
    69 specialize not (pair fixnum float)
    70 specialize (vector symbol)
    71 specialize not (vector symbol)
    72 specialize (or (list fixnum) symbol)
    73 specialize not (or (list fixnum) symbol)
    74 specialize (list fixnum)
    75 specialize not (list fixnum)
    76 specialize (or null pair)
    77 specialize not (or null pair)
    78 check predicate boolean boolean?
    79 check predicate boolean boolean?
    80 check predicate pair pair?
    81 check predicate null null?
    82 check predicate symbol symbol?
    83 check predicate number number?
    84 check predicate number number?
    85 check predicate fixnum exact?
    86 check predicate number real?
    87 check predicate number complex?
    88 check predicate float inexact?
    89 check predicate char char?
    90 check predicate string string?
    91 check predicate vector vector?
    92 check predicate procedure procedure?
    93 check predicate blob blob?
    94 check predicate (struct condition) condition?
    95 check predicate fixnum fixnum?
    96 check predicate float flonum?
    97 check predicate input-port input-port?
    98 check predicate pointer-vector pointer-vector?
    99 check predicate pointer pointer?
    100 (procedure (*) *) != (procedure () *)
    101 (procedure () *) != (procedure (*) *)
    102 (procedure (#!rest) . *) = (procedure (*) . *)
    103 (procedure (*) . *) = (procedure (#!rest) . *)
    104 (procedure () *) != (procedure () * *)
    105 (procedure () * *) != (procedure () *)
    106 ../chicken scrutiny-tests.scm -output-file a.c -verbose -include-path .. -scrutinize -ignore-repository -types ../types.db -verbose
    107 clang a.c -o a.o -c  -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -I.. -I"/home/mario/local/chicken-4.8.0rc3-clang/include/chicken"
    108 rm a.c
    109 clang a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3-clang/lib"  -Wl,-R"/home/mario/local/chicken-4.8.0rc3-clang/lib" -lchicken -lm -ldl
    110 rm a.o
    111 --- scrutiny.expected   2012-08-31 02:00:02.000000000 -0300
    112 +++ scrutiny.out        2012-09-06 21:30:51.000000000 -0300
    113 @@ -97,3 +97,17 @@
    114    (scrutiny-tests.scm:136) in procedure call to `+', expected argument #2 of type `number', but was given an argument of type `symbol'
    115  
    116  Warning: redefinition of standard binding: car
    117 \ No newline at end of file
    118 +In file included from a.c:11:
    119 +../chicken.h:2292:1: warning: control may reach end of non-void function [-Wreturn-type]
    120 +}
    121 +^
    122 +../chicken.h:2299:1: warning: control may reach end of non-void function [-Wreturn-type]
    123 +}
    124 +^
    125 +../chicken.h:2336:1: warning: control may reach end of non-void function [-Wreturn-type]
    126 +}
    127 +^
    128 +../chicken.h:2344:1: warning: control may reach end of non-void function [-Wreturn-type]
    129 +}
    130 +^
    131 +4 warnings generated.
    132 make[1]: *** [check] Error 1
    133 make[1]: Leaving directory `/home/mario/src/chicken-4.8.0rc3'
    134 make: *** [check] Error 2
     6../chicken.h:2292:1: warning: control may reach end of non-void function [-Wreturn-type]
     7}
     8^
     9../chicken.h:2299:1: warning: control may reach end of non-void function [-Wreturn-type]
     10}
     11^
     12../chicken.h:2336:1: warning: control may reach end of non-void function [-Wreturn-type]
     13}
     14^
     15../chicken.h:2344:1: warning: control may reach end of non-void function [-Wreturn-type]
     16}
     17^
     184 warnings generated.
    13519}}}