mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-28 09:06:06 +00:00
3ff08a8e76
Example:
{
int a = 1;
int b = 5;
int c = b / a; // a is 1 on all paths
}
- New IdempotentOperationChecker class
- Moved recursive Stmt functions in r107675 to IdempotentOperationChecker
- Minor refactoring of SVal to allow checking for any integer
- Added command line option for check
- Added basic test cases
llvm-svn: 107706
29 lines
914 B
C++
29 lines
914 B
C++
//=-- GRExprEngineExperimentalChecks.h ------------------------------*- C++ -*-=
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines functions to instantiate and register experimental
|
|
// checks in GRExprEngine.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_CLANG_GREXPRENGINE_EXPERIMENTAL_CHECKS
|
|
#define LLVM_CLANG_GREXPRENGINE_EXPERIMENTAL_CHECKS
|
|
|
|
namespace clang {
|
|
|
|
class GRExprEngine;
|
|
|
|
void RegisterPthreadLockChecker(GRExprEngine &Eng);
|
|
void RegisterMallocChecker(GRExprEngine &Eng);
|
|
void RegisterStreamChecker(GRExprEngine &Eng);
|
|
void RegisterIdempotentOperationChecker(GRExprEngine &Eng);
|
|
|
|
} // end clang namespace
|
|
#endif
|