kc3-lang/angle/src/tests/preprocessor_tests/extension_test.cpp

• Show log

  Commit

• Hash : f1cf5e63
  Author :
  Date : 2016-11-22T17:36:49
  

  Prevent stack overflow in macro expansion
  
  Add a configurable limit for how many nested MacroExpander objects can
  be created in the preprocessor, so that stack overflow can be
  prevented in case of malicious shaders. By default the limit is set to
  1000. In unit tests the limit is set lower to make the test run
  faster.
  
  Includes refactoring of most of the preprocessor tests so that they
  use utility functions provided by the test class instead of repeating
  the same code for initializing the preprocessor.
  
  BUG=angleproject:1600
  TEST=angle_unittests
  
  Change-Id: I23b5140d9f2dc52df96111650db63150f7238494
  Reviewed-on: https://chromium-review.googlesource.com/413986
  Commit-Queue: Olli Etuaho <oetuaho@nvidia.com>
  Reviewed-by: Corentin Wallez <cwallez@chromium.org>
  

Download

• src/tests/preprocessor_tests/extension_test.cpp

• //
  // Copyright (c) 2012 The ANGLE Project Authors. All rights reserved.
  // Use of this source code is governed by a BSD-style license that can be
  // found in the LICENSE file.
  //
  
  #include "PreprocessorTest.h"
  #include "compiler/preprocessor/Token.h"
  
  class ExtensionTest : public SimplePreprocessorTest
  {
  };
  
  TEST_F(ExtensionTest, Valid)
  {
      const char* str = "#extension foo : bar\n";
      const char* expected = "\n";
  
      using testing::_;
      EXPECT_CALL(mDirectiveHandler,
                  handleExtension(pp::SourceLocation(0, 1), "foo", "bar"));
      // No error or warning.
      EXPECT_CALL(mDiagnostics, print(_, _, _)).Times(0);
  
      preprocess(str, expected);
  }
  
  TEST_F(ExtensionTest, Comments)
  {
      const char* str = "/*foo*/"
                        "#"
                        "/*foo*/"
                        "extension"
                        "/*foo*/"
                        "foo"
                        "/*foo*/"
                        ":"
                        "/*foo*/"
                        "bar"
                        "/*foo*/"
                        "//foo"
                        "\n";
      const char* expected = "\n";
  
      using testing::_;
      EXPECT_CALL(mDirectiveHandler,
                  handleExtension(pp::SourceLocation(0, 1), "foo", "bar"));
      // No error or warning.
      EXPECT_CALL(mDiagnostics, print(_, _, _)).Times(0);
  
      preprocess(str, expected);
  }
  
  TEST_F(ExtensionTest, MissingNewline)
  {
      const char* str = "#extension foo : bar";
      const char* expected = "";
  
      using testing::_;
      // Directive successfully parsed.
      EXPECT_CALL(mDirectiveHandler,
                  handleExtension(pp::SourceLocation(0, 1), "foo", "bar"));
      // Error reported about EOF.
      EXPECT_CALL(mDiagnostics, print(pp::Diagnostics::PP_EOF_IN_DIRECTIVE, _, _));
  
      preprocess(str, expected);
  }
  
  TEST_F(ExtensionTest, ExtensionAfterNonPreProcessorTokenESSL1)
  {
      const char *str = "int baz = 1;\n"
                        "#extension foo : bar\n";
      const char *expected = "int baz = 1;\n\n";
  
      using testing::_;
      // Directive successfully parsed.
      EXPECT_CALL(mDirectiveHandler,
          handleExtension(pp::SourceLocation(0, 2), "foo", "bar"));
      // Expect a warning about extension pragmas after non-preprocessor tokens.
      EXPECT_CALL(mDiagnostics, print(pp::Diagnostics::PP_NON_PP_TOKEN_BEFORE_EXTENSION_ESSL1, _, _));
  
      preprocess(str, expected);
  }
  
  TEST_F(ExtensionTest, ExtensionAfterNonPreProcessorTokenESSL3)
  {
      const char *str = "#version 300 es\n"
                        "int baz = 1;\n"
                        "#extension foo : bar\n";
      const char *expected = "\nint baz = 1;\n\n";
  
      using testing::_;
      // Directive successfully parsed.
      EXPECT_CALL(mDirectiveHandler,
          handleVersion(pp::SourceLocation(0, 1), 300));
      // Expect a error about extension pragmas after non-preprocessor tokens.
      EXPECT_CALL(mDiagnostics, print(pp::Diagnostics::PP_NON_PP_TOKEN_BEFORE_EXTENSION_ESSL3, _, _));
  
      preprocess(str, expected);
  }
  
  struct ExtensionTestParam
  {
      const char* str;
      pp::Diagnostics::ID id;
  };
  
  using testing::WithParamInterface;
  class InvalidExtensionTest : public ExtensionTest,
                               public WithParamInterface<ExtensionTestParam>
  {
  };
  
  TEST_P(InvalidExtensionTest, Identified)
  {
      ExtensionTestParam param = GetParam();
      const char* expected = "\n";
  
      using testing::_;
      // No handleExtension call.
      EXPECT_CALL(mDirectiveHandler, handleExtension(_, _, _)).Times(0);
      // Invalid extension directive call.
      EXPECT_CALL(mDiagnostics, print(param.id, pp::SourceLocation(0, 1), _));
  
      preprocess(param.str, expected);
  }
  
  static const ExtensionTestParam kParams[] = {
      {"#extension\n", pp::Diagnostics::PP_INVALID_EXTENSION_DIRECTIVE},
      {"#extension 1\n", pp::Diagnostics::PP_INVALID_EXTENSION_NAME},
      {"#extension foo bar\n", pp::Diagnostics::PP_UNEXPECTED_TOKEN},
      {"#extension foo : \n", pp::Diagnostics::PP_INVALID_EXTENSION_DIRECTIVE},
      {"#extension foo : 1\n", pp::Diagnostics::PP_INVALID_EXTENSION_BEHAVIOR},
      {"#extension foo : bar baz\n", pp::Diagnostics::PP_UNEXPECTED_TOKEN}
  };
  INSTANTIATE_TEST_CASE_P(All, InvalidExtensionTest, testing::ValuesIn(kParams));
  

Download