| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=unix.Malloc %s |
| Daniel Marjamaki | 0dadfa8 | 2015-06-25 14:06:02 +0000 | [diff] [blame] | 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 | } | ||||