kc3-lang/angle/src/compiler/translator/ValidateSwitch.h

• Show log

  Commit

• Hash : ac5274df
  Author :
  Date : 2015-02-20T10:19:08
  

  Add validation for the structure of switch statements
  
  Implement a traverser to check for the following errors:
  -More than one default or replicated constant expression
  -No statement between a label and the end of a switch statement
  -Statements in a switch statement before the first case statement
  -Mismatch between the type of init-expression and type of a case label
  -Case or default label nested inside other control flow nested within the
  corresponding switch
  
  Tested by manually disabling shading language version checks for switch
  and by manually enabling case statements in a Chromium build and checking
  that the expected errors are generated.
  
  BUG=angle:921
  
  Change-Id: I99c49c17c8b520849adbe4d8521e46cb10e20e41
  Reviewed-on: https://chromium-review.googlesource.com/251524
  Reviewed-by: Jamie Madill <jmadill@chromium.org>
  Reviewed-by: Olli Etuaho <oetuaho@nvidia.com>
  Tested-by: Olli Etuaho <oetuaho@nvidia.com>
  

Download

• src/compiler/translator/ValidateSwitch.h

• //
  // Copyright (c) 2002-2015 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.
  //
  
  #ifndef COMPILER_TRANSLATOR_VALIDATESWITCH_H_
  #define COMPILER_TRANSLATOR_VALIDATESWITCH_H_
  
  #include "compiler/translator/IntermNode.h"
  
  struct TParseContext;
  
  class ValidateSwitch : public TIntermTraverser
  {
    public:
      // Check for errors and output messages any remaining errors on the context.
      // Returns true if there are no errors.
      static bool validate(TBasicType switchType, TParseContext *context,
          TIntermAggregate *statementList, const TSourceLoc &loc);
  
      void visitSymbol(TIntermSymbol *) override;
      void visitConstantUnion(TIntermConstantUnion *) override;
      bool visitBinary(Visit, TIntermBinary *) override;
      bool visitUnary(Visit, TIntermUnary *) override;
      bool visitSelection(Visit visit, TIntermSelection *) override;
      bool visitSwitch(Visit, TIntermSwitch *) override;
      bool visitCase(Visit, TIntermCase *node) override;
      bool visitAggregate(Visit, TIntermAggregate *) override;
      bool visitLoop(Visit visit, TIntermLoop *) override;
      bool visitBranch(Visit, TIntermBranch *) override;
  
    private:
      ValidateSwitch(TBasicType switchType, TParseContext *context);
  
      bool validateInternal(const TSourceLoc &loc);
  
      TBasicType mSwitchType;
      TParseContext *mContext;
      bool mCaseTypeMismatch;
      bool mFirstCaseFound;
      bool mStatementBeforeCase;
      bool mLastStatementWasCase;
      int mControlFlowDepth;
      bool mCaseInsideControlFlow;
      int mDefaultCount;
      std::set<int> mCasesSigned;
      std::set<unsigned int> mCasesUnsigned;
      bool mDuplicateCases;
  };
  
  #endif // COMPILER_TRANSLATOR_VALIDATESWITCH_H_
  

Download