| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=unix.Malloc %s |
|---|---|
| 2 | // Do not crash due to division by zero |
| 3 | |
| 4 | int f(unsigned int a) { |
| 5 | if (a <= 0) return 1 / a; |
| 6 | return a; |
| 7 | } |
| 8 |
| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=unix.Malloc %s |
|---|---|
| 2 | // Do not crash due to division by zero |
| 3 | |
| 4 | int f(unsigned int a) { |
| 5 | if (a <= 0) return 1 / a; |
| 6 | return a; |
| 7 | } |
| 8 |