[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-bugs] missing return with --check-global

To: csmith-bugs@flux.utah.edu
Subject: Re: [csmith-bugs] missing return with --check-global
From: John Regehr <regehr@cs.utah.edu>
Date: Sun, 31 Jul 2011 13:53:23 -0600
In-reply-to: <4E3593E8.9070100@inria.fr>
List-archive: </listarchives/csmith-bugs>
List-help: <mailto:csmith-bugs-request@flux.utah.edu?subject=help>
List-id: Csmith Bugs Mailing List <csmith-bugs.flux.utah.edu>
List-post: <mailto:csmith-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <4E3584D7.40606@inria.fr> <CAKDQXVL=FjKCH25jdx6fh3ctLY2_JucJXmoN35_02UKYWwhZFw@mail.gmail.com> <4E3593E8.9070100@inria.fr>
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:5.0) Gecko/20110624 Thunderbird/5.0

Xavier, great to hear about the interpreter and that you are using Csmith.

Well, CompCert C has saner semantics and requires that all non-void
functions return something.  I hope we will all agree that it is
terrible style not to do this...

Yes! I didn't even realize this was legal until Chucky explained it.Xuejun please fix.


Thanks,

John

References:
- [csmith-bugs] missing return with --check-global
  - From: Xavier Leroy <Xavier.Leroy@inria.fr>
- Re: [csmith-bugs] missing return with --check-global
  - From: Chucky Ellison <celliso2@illinois.edu>
- Re: [csmith-bugs] missing return with --check-global
  - From: Xavier Leroy <Xavier.Leroy@inria.fr>

Prev by Date: Re: [csmith-bugs] missing return with --check-global
Next by Date: Re: [csmith-bugs] unsigned int literals and --ccomp
Previous by thread: Re: [csmith-bugs] missing return with --check-global
Next by thread: Re: [csmith-bugs] missing return with --check-global
Index(es):
- Date
- Thread