diff options
Diffstat (limited to 'tests/wrapper-compiler-errors')
| -rwxr-xr-x | tests/wrapper-compiler-errors | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/wrapper-compiler-errors b/tests/wrapper-compiler-errors index 264618c..a04675a 100755 --- a/tests/wrapper-compiler-errors +++ b/tests/wrapper-compiler-errors @@ -90,10 +90,14 @@ while [[ -f `printf "${temp_dir}/${input_filename}_%02d.c" ${num}` ]]; do # e.g. Set # TARTAN_TEST_OPTIONS="-analyzer-checker=debug.ViewExplodedGraph" to # debug the ExplodedGraph + # + # The MallocWithAnnotations checker is needed for ownership.c. TARTAN_PLUGIN=$tartan_plugin \ TARTAN_OPTIONS=--quiet \ $tartan \ - -cc1 -analyze -std=c89 -Wno-visibility $TARTAN_TEST_OPTIONS \ + -cc1 -analyze -std=c89 -Wno-visibility \ + -analyzer-checker=alpha.unix.MallocWithAnnotations \ + $TARTAN_TEST_OPTIONS \ `pkg-config --cflags glib-2.0` \ $system_includes \ $section_filename > $actual_error_filename 2>&1 |