llvm/test/FileCheck/implicit-check-not.txt

   1 ; RUN: sed 's#^;.*##' %s | FileCheck -check-prefix=CHECK-PASS -implicit-check-not=warning: %s
   2
   3 ; Check we report an error when an unknown prefix is used together with `-implicit-check-not`.
   4 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=UNKNOWN-PREFIX -implicit-check-not=abc %s 2>&1 | FileCheck %s -DPREFIX=UNKNOWN-PREFIX -check-prefix CHECK-PREFIX-ERROR
   5 ; CHECK-PREFIX-ERROR: error: no check strings found with prefix '[[PREFIX]]:'
   6
   7 ; Check we report an error when the "CHECK" prefix is used explicitly with `-implicit-check-not`, but not present in the input.
   8 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK -implicit-check-not=abc %s 2>&1 | FileCheck %s -DPREFIX=CHECK -check-prefix CHECK-PREFIX-ERROR
   9
  10 ; Check we allow using `-implicit-check-not` when there is no `-check-prefix` specified and there
  11 ; is no default `CHECK` line in an input.
  12 ; RUN: sed 's#^;.*##' %s | FileCheck -implicit-check-not="unique_string" %s
  13
  14 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL1 -implicit-check-not=warning: %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR1
  15 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL2 -implicit-check-not=warning: %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR2
  16 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL3 -implicit-check-not=warning: %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR3
  17 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL1 -implicit-check-not='{{aaa|bbb|ccc}}' %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR4
  18 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL1 -implicit-check-not=aaa -implicit-check-not=bbb -implicit-check-not=ccc %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR5
  19 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL2 -implicit-check-not=aaa -implicit-check-not=bbb -implicit-check-not=ccc %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR6
  20 ; RUN: sed 's#^;.*##' %s | %ProtectFileCheckOutput not FileCheck -check-prefix=CHECK-FAIL3 -implicit-check-not=aaa -implicit-check-not=bbb -implicit-check-not=ccc %s 2>&1 | FileCheck %s -check-prefix CHECK-ERROR7
  21
  22 warning: aaa
  23 ; CHECK-PASS: warning: aaa
  24 ; CHECK-ERROR1: command line:1:22: error: CHECK-FAIL1-NOT: excluded string found in input
  25 ; CHECK-ERROR1-NEXT: -implicit-check-not='warning:'
  26 ; CHECK-ERROR1: note: found here
  27 ; CHECK-FAIL2: warning: aaa
  28 ; CHECK-FAIL3: warning: aaa
  29 ; CHECK-ERROR4: command line:1:22: error: CHECK-FAIL1-NOT: excluded string found in input
  30 ; CHECK-ERROR4-NEXT: {{-implicit-check-not='\{\{aaa\|bbb\|ccc\}\}'}}
  31 ; CHECK-ERROR4: note: found here
  32 ; CHECK-ERROR5: command line:1:22: error: CHECK-FAIL1-NOT: excluded string found in input
  33 ; CHECK-ERROR5-NEXT: -implicit-check-not='aaa'
  34 ; CHECK-ERROR5: note: found here
  35
  36 warning: bbb
  37 ; CHECK-PASS: warning: bbb
  38 ; CHECK-FAIL1: warning: bbb
  39 ; CHECK-ERROR2: command line:1:22: error: CHECK-FAIL2-NOT: excluded string found in input
  40 ; CHECK-ERROR2-NEXT: -implicit-check-not='warning:'
  41 ; CHECK-ERROR2: note: found here
  42 ; CHECK-FAIL3: warning: bbb
  43 ; CHECK-ERROR6: command line:1:22: error: CHECK-FAIL2-NOT: excluded string found in input
  44 ; CHECK-ERROR6-NEXT: -implicit-check-not='bbb'
  45 ; CHECK-ERROR6: note: found here
  46
  47 warning: ccc
  48 ; CHECK-PASS: warning: ccc
  49 ; CHECK-FAIL1: warning: ccc
  50 ; CHECK-FAIL2: warning: ccc
  51 ; CHECK-ERROR3: command line:1:22: error: CHECK-FAIL3-NOT: excluded string found in input
  52 ; CHECK-ERROR3-NEXT: -implicit-check-not='warning:'
  53 ; CHECK-ERROR3: note: found here
  54 ; CHECK-ERROR7: command line:1:22: error: CHECK-FAIL3-NOT: excluded string found in input
  55 ; CHECK-ERROR7-NEXT: -implicit-check-not='ccc'
  56 ; CHECK-ERROR7: note: found here