diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h b/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h index 87bc0df0908f84abe339172395a3a7ef125825a0..198c1bfdb29d2bd74583e9bf3b65edb98581709f 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h @@ -197,8 +197,9 @@ public: } }; -/// \class The region of the static variables within the current CodeTextRegion +/// \brief The region of the static variables within the current CodeTextRegion /// scope. +/// /// Currently, only the static locals are placed there, so we know that these /// variables do not get invalidated by calls to other functions. class StaticGlobalSpaceRegion : public GlobalsSpaceRegion { @@ -221,7 +222,7 @@ public: } }; -/// \class The region for all the non-static global variables. +/// \brief The region for all the non-static global variables. /// /// This class is further split into subclasses for efficient implementation of /// invalidating a set of related global values as is done in @@ -245,7 +246,7 @@ public: } }; -/// \class The region containing globals which are defined in system/external +/// \brief The region containing globals which are defined in system/external /// headers and are considered modifiable by system calls (ex: errno). class GlobalSystemSpaceRegion : public NonStaticGlobalSpaceRegion { friend class MemRegionManager; @@ -262,7 +263,7 @@ public: } }; -/// \class The region containing globals which are considered not to be modified +/// \brief The region containing globals which are considered not to be modified /// or point to data which could be modified as a result of a function call /// (system or internal). Ex: Const global scalars would be modeled as part of /// this region. This region also includes most system globals since they have @@ -282,7 +283,7 @@ public: } }; -/// \class The region containing globals which can be modified by calls to +/// \brief The region containing globals which can be modified by calls to /// "internally" defined functions - (for now just) functions other then system /// calls. class GlobalInternalSpaceRegion : public NonStaticGlobalSpaceRegion { diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h index 4d329d2f1036e73c93367067407796a4b9ee7ca1..ad76f3918792469aedeb975b780a2bc7af41d026 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h @@ -553,7 +553,7 @@ public: BasicValueFactory &getBasicVals() { return BV; } }; -/// \class A class responsible for cleaning up unused symbols. +/// \brief A class responsible for cleaning up unused symbols. class SymbolReaper { enum SymbolStatus { NotProcessed,