Merge branches 'dump-macros-v2', 'fix-predefined-size', 'fix-bool-context', 'fix...
[smatch.git] / validation / fp-vs-ptrcast.c
blob817aee5c909ffc56ab895bf4af93aac7054373a3
1 float *f01(void* p)
3 return p;
6 /*
7 * check-name: fp-vs-ptrcast
8 * check-command: test-linearize -Wno-decl $file
9 * check-output-ignore
11 * check-output-excludes: fpcast
12 * check-output-contains: ptrcast