1*673dc3d4SNico Weber // RUN: %clangxx_asan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
2*673dc3d4SNico Weber 
3*673dc3d4SNico Weber // Test the frexp() interceptor.
4*673dc3d4SNico Weber 
5*673dc3d4SNico Weber #include <math.h>
6*673dc3d4SNico Weber #include <stdio.h>
7*673dc3d4SNico Weber #include <stdlib.h>
main()8*673dc3d4SNico Weber int main() {
9*673dc3d4SNico Weber   double x = 3.14;
10*673dc3d4SNico Weber   int *exp = (int*)malloc(sizeof(int));
11*673dc3d4SNico Weber   free(exp);
12*673dc3d4SNico Weber   double y = frexp(x, exp);
13*673dc3d4SNico Weber   // CHECK: use-after-free
14*673dc3d4SNico Weber   // CHECK: SUMMARY
15*673dc3d4SNico Weber   return 0;
16*673dc3d4SNico Weber }
17