llvm/clang/test/Analysis/virtualcall-fixits.cpp

// RUN: %clang_analyze_cc1 -analyzer-checker=core,optin.cplusplus.VirtualCall \
// RUN:     -analyzer-config optin.cplusplus.VirtualCall:ShowFixIts=true \
// RUN:     %s 2>&1 | FileCheck -check-prefix=TEXT %s

// RUN: %check_analyzer_fixit %s %t \
// RUN:     -analyzer-checker=core,optin.cplusplus.VirtualCall \
// RUN:     -analyzer-config optin.cplusplus.VirtualCall:ShowFixIts=true \
// RUN:     -analyzer-output=plist -o %t.plist
// RUN: cat %t.plist | FileCheck -check-prefix=PLIST %s

struct S {
  virtual void foo();
  S() {
    foo();
    // expected-warning@-1{{Call to virtual method 'S::foo' during construction bypasses virtual dispatch}}
    // CHECK-FIXES:      S() {
    // CHECK-FIXES-NEXT:   S::foo();
    // CHECK-FIXES-NEXT: }
  }
  ~S();
};

// TEXT: warning: Call to virtual method 'S::foo' during construction
// TEXT-SAME: bypasses virtual dispatch
// TEXT-NEXT: foo();
// TEXT-NEXT: ^~~~~
// TEXT-NEXT: S::
// TEXT-NEXT: 1 warning generated.

// PLIST:  <key>fixits</key>
// PLIST-NEXT:  <array>
// PLIST-NEXT:   <dict>
// PLIST-NEXT:    <key>remove_range</key>
// PLIST-NEXT:    <array>
// PLIST-NEXT:     <dict>
// PLIST-NEXT:      <key>line</key><integer>14</integer>
// PLIST-NEXT:      <key>col</key><integer>5</integer>
// PLIST-NEXT:      <key>file</key><integer>0</integer>
// PLIST-NEXT:     </dict>
// PLIST-NEXT:     <dict>
// PLIST-NEXT:      <key>line</key><integer>14</integer>
// PLIST-NEXT:      <key>col</key><integer>4</integer>
// PLIST-NEXT:      <key>file</key><integer>0</integer>
// PLIST-NEXT:     </dict>
// PLIST-NEXT:    </array>
// PLIST-NEXT:    <key>insert_string</key><string>S::</string>
// PLIST-NEXT:   </dict>
// PLIST-NEXT:  </array>