"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "test/Analysis/inlining/path-notes.c" between
cfe-8.0.1.src.tar.xz and cfe-9.0.0.src.tar.xz

About: Clang is an LLVM front end for the C, C++, and Objective-C languages. Clang aims to provide a better user experience through expressive diagnostics, a high level of conformance to language standards, fast compilation, and low memory use.

path-notes.c  (cfe-8.0.1.src.tar.xz):path-notes.c  (cfe-9.0.0.src.tar.xz)
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyze r-config suppress-null-return-paths=false -verify %s // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyze r-config suppress-null-return-paths=false -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-f ile -analyzer-config suppress-null-return-paths=false %s -o %t.plist // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-f ile -analyzer-config suppress-null-return-paths=false %s -o %t.plist
// RUN: cat %t.plist | %diff_plist %S/Inputs/expected-plists/path-notes.c.plist - // RUN: %normalize_plist <%t.plist | diff -ub %S/Inputs/expected-plists/path-not es.c.plist -
void zero(int **p) { void zero(int **p) {
*p = 0; *p = 0;
// expected-note@-1 {{Null pointer value stored to 'a'}} // expected-note@-1 {{Null pointer value stored to 'a'}}
} }
void testZero(int *a) { void testZero(int *a) {
zero(&a); zero(&a);
// expected-note@-1 {{Calling 'zero'}} // expected-note@-1 {{Calling 'zero'}}
// expected-note@-2 {{Returning from 'zero'}} // expected-note@-2 {{Returning from 'zero'}}
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)