On Wed, Oct 16, 2013 at 07:02:03PM -0400, Tim Shen wrote:
> > To be honest, I was thinking something much smaller than the whole <regex>
> > ;) But let's add Marek in CC.
>
> int work() {
> }
>
> int main() {
> int a = work();
> return a;
> }
>
> /* This is a smaller case to test the sanitizer. It seems that the
> undefined sanitizer is not merged? I use `g++ (GCC) 4.9.0 20131003`,
> is that too old? */
No, that's not too old, the thing is -fsanitize=undefined isn't
complete - we currently sanitize shift, division by zero, and
__builtin_unreachable call; VLA sanitization is done, but not commited
because I'm waiting for a review of the C++ FE part of that patch,
and on NULL pointer checking I'm working now.
Missing return statement will definitely be added, too (quite
easy, I should think), and that would detect the bug in your
testcase.
Still, thanks for letting me know.
Marek
