From 92987fb311b70f5264bd9384d02a8f79c5db000a Mon Sep 17 00:00:00 2001 From: Alexander Kornienko Date: Wed, 14 Nov 2012 21:07:37 +0000 Subject: Support for [[@LINE]], [[@LINE+]], [[@LINE-]] expressions in FileCheck. llvm-svn: 167978 --- llvm/docs/CommandGuide/FileCheck.rst | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) (limited to 'llvm/docs/CommandGuide/FileCheck.rst') diff --git a/llvm/docs/CommandGuide/FileCheck.rst b/llvm/docs/CommandGuide/FileCheck.rst index 049e10b..ba2fe4a 100644 --- a/llvm/docs/CommandGuide/FileCheck.rst +++ b/llvm/docs/CommandGuide/FileCheck.rst @@ -252,3 +252,30 @@ advantage of the fact that FileCheck is not actually line-oriented when it matches, this allows you to define two separate "``CHECK``" lines that match on the same line. + +FileCheck Expressions +~~~~~~~~~~~~~~~~~~~~~ + + +Sometimes there's a need to verify output which refers line numbers of the match +file, e.g. when testing compiler diagnostics. This introduces a certain +fragility of the match file structure, as CHECK: lines contain absolute line +numbers in the same file, which have to be updated whenever line numbers change +due to text addition or deletion. + +To support this case, FileCheck allows using ``[[@LINE]]``, +``[[@LINE+]]``, ``[[@LINE-]]`` expressions in patterns. These +expressions expand to a number of the line where a pattern is located (with an +optional integer offset). + +This way match patterns can be put near the relevant test lines and include +relative line number references, for example: + +.. code-block:: c++ + + // CHECK: test.cpp:[[@LINE+4]]:6: error: expected ';' after top level declarator + // CHECK-NEXT: {{^int a}} + // CHECK-NEXT: {{^ \^}} + // CHECK-NEXT: {{^ ;}} + int a + -- cgit v1.1