56 Commits

Author	SHA1	Message	Date
Richard Smith	3e056dea1b	-fcatch-undefined-behavior: add the -ftrapv checks to the set of things caught ... by this mode, and also check for signed left shift overflow. The rules for the latter are a little subtle: * neither C89 nor C++98 specify the behavior of a signed left shift at all * in C99 and C11, shifting a 1 bit into the sign bit has undefined behavior * in C++11, with core issue 1457, shifting a 1 bit *out* of the sign bit has undefined behavior As of this change, we use the C99 rules for all C language variants, and the C++11 rules for all C++ language variants. Once we have individual -fcatch-undefined-behavior= flags, this should be revisited. llvm-svn: 162634	2012-08-25 00:32:28 +00:00
Richard Smith	69d0d2626a	New -fcatch-undefined-behavior features: ... * when checking that a pointer or reference refers to appropriate storage for a type, also check the alignment and perform a null check * check that references are bound to appropriate storage * check that 'this' has appropriate storage in member accesses and member function calls llvm-svn: 162523	2012-08-24 00:54:33 +00:00
Nuno Lopes	9f5616a005	hopefully unbreak some buildbots ... llvm-svn: 156357	2012-05-08 01:54:53 +00:00
Nuno Lopes	f4c7679f35	make this test a little more useful. I'll add more tests for bound checking once -fbounds-checking patch gets in ... llvm-svn: 156321	2012-05-07 20:23:03 +00:00
Benjamin Kramer	249f50ca04	Fix run line so this test actually tests something. ... llvm-svn: 100962	2010-04-11 09:39:39 +00:00
Chris Lattner	bc3be65d2e	fix PR6805: llvm.objectsize changed to take an i1 instead of an i32. ... llvm-svn: 100938	2010-04-10 18:34:14 +00:00