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