diff options
| author | Bill Wendling <isanbard@gmail.com> | 2008-11-30 05:01:05 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2008-11-30 05:01:05 +0000 |
| commit | af200e9237cd81fbcba7080057d493941952835c (patch) | |
| tree | e3654c3ea8da486bbfad2de99d1585bfc1a632c4 /clang/test/Analysis/array-struct.c | |
| parent | bd0f57821a7326716db85236ba93bd1c9dc44d28 (diff) | |
| download | llvm-af200e9237cd81fbcba7080057d493941952835c.zip llvm-af200e9237cd81fbcba7080057d493941952835c.tar.gz llvm-af200e9237cd81fbcba7080057d493941952835c.tar.bz2 | |
From Hacker's Delight:
"For signed integers, the determination of overflow of x*y is not so simple. If
x and y have the same sign, then overflow occurs iff xy > 2**31 - 1. If they
have opposite signs, then overflow occurs iff xy < -2**31."
In this case, x == -1.
llvm-svn: 60278
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
0 files changed, 0 insertions, 0 deletions