github, git, google: clang-前端插件-给各种无花括号的“块”加花括号-基于llvm15--clang-plugin-add-brace-----google镜像

处置惩罚的语句

case

术语约定或备忘

  

• case起止范围： 从冒号到下一个’case’开头, 简称有： case内 、case内容  
  
• Ast: Abstract syntax tree: 抽象语法树
  

没插入花括号的case

   若case内, 以下任一条建立，则 跳过该case 即 不会对该case内容用花括号包裹.
  

   

• 有#define、   
  
• 有#include、   
  
• 有直属变量声明、   
  
• 空case、   
  
• 有宏调用  
  

  详述

预处置惩罚回调网络#include指令、宏界说

   CollectIncMacro_PPCb：Collect Inlucde Macro PPCallbacks : 网络Inlucde和Macro的预处置惩罚回调
     网络 #include、 #define ， 以判断case起止范围内 有无 #include、 #define
    遍历switch内某case起止范围内每条语句

   RangeHasMacroAstVst: Range Has Macro Call Ast Vistor: 给定范围有无宏调用Ast遍历器
     名义上遍历整个switch下的Stmt，现实遍历 给定范围内( 即 case起止范围 内) 的语句，举行以下盘算:
   

1. 1. hasMacro： case起止范围 有无宏调用，
2.   从而帮助过滤掉 有宏调用 的case
3. 2. caseKSubStmtCnt：    case起止范围 语句个数（即 case子语句个数）,
4.   从而帮助 过滤掉 空case
5. 3. VarDeclDirectlyInCaseKCnt:   直接写在'case'内的变量声明语句个数，
6.   即 直属变量声明个数
7.   从而 帮助过滤掉 有直属变量声明 的case。
8.   直接写在'case'内的变量声明语句个数，包括以下两种情况：
9.   3.1. 直接写在'case'内，其父亲是case语句的
10.   3.2. 直接写在'case'内, 但是其父亲是switch块的.  
11.     即 存在 在case内的语句 但却不属于该case  而是直接属于switch， 此现象，直接导致 case的子语句 是伪命题，
12.       才使得 RangeHasMacroAstVst 不可能 实现无遗漏地 遍历 case下的子语句 ，
13.         只能扩大遍历范围到整个switch 并只关注case起止范围内的语句 才能 实现无遗漏地、精准地 遍历 case下的子语句。

复制代码

现实运行花括号插件

   到此 加花括号插件竣工了，在llvm-project上正常运行：

1. sudo docker exec -it ubuntu2204_clang15Compile bash

复制代码

  弹出docker实例ubuntu2204_clang15Compile的bash下令行，以下下令都在此下令行下实行

1. cd /pubx/
3. git clone https://gitcode.net/pubz/llvm-project/-/commits/brc-dev-no_tick
4. #即 https://gitcode.net/pubz/llvm-project/-/commit/bee38a325d0957a28b4d06cb4be3c251d143cdf0
5. #克隆仓库llvm-project后目录结构如下: /pubx/llvm-project/.git/config

复制代码

  

• 步调1: 对每个被直接编译的源文件中单语句加花括号
  

   对llvm-project的每个源文件的编译过程应用插件libBrcPlugin.so 以 对 该源文件中单语句加花括号

1. source /pubx/llvm-project/doc_clang15_build/brc_build1_plugin.sh

复制代码

  brc_build1_plugin.sh
  

  

• 步调2: 对加了花括号后的llvm-project再次做正常的平凡编译
  

1. source /pubx/llvm-project/doc_clang15_build/brc_build2_directly.sh

复制代码

  brc_build2_directly.sh
  

  

• 步调3: 验证
  

1. //编写c语言源文件 hello.c，内容如下：
2. #include <stdio.h>
3. int main(int argc, char** argv){
4.    
5.    
6.   int a,b;
7.   printf("a,b:");
8.   scanf("%d,%d",&a,&b);
9.   int sum=a+b, diff=a-b, div=a/b, mod=a%b;
10.   printf("sum=%d,diff=%d,div=%d,mod=%d\n",sum,diff,div,mod);
11.   return 0;
12. }

复制代码

1. /pubx/build-llvm15/bin/clang-15  hello.c  -o hello.app
2. ./hello.app
3. a,b:45,21
4. sum=66,diff=24,div=2,mod=3

复制代码

  加完花括号的llvm-project源码编译出的编译器clang-15 对 hello.c 实行编译， 编译出二进制文件 hello.app，
  而该二进制文件 hello.app 正常运行
  由此分析 ，花括号加的位置根本正确。
  #统计

1. find /pubx/llvm-project/ -not -path '*/.git/*' -type f  \( -name "*.cpp" -or -name "*.c"  \)   | xargs -I% grep -Hn    BrcXxx    % > /pubx/BrcXxx.log
3. #把上一条bash命令抽成bash函数
4. findBrcCommentThenSave() {
5.    
6.    
7.   set -x #bash启用显示执行的命令
8.   keyword=$1
9.   find /pubx/llvm-project/ -not -path '*/.git/*' -type f \( -name "*.cpp" -or -name "*.c" \) | xargs -I% grep -Hn "$keyword" % |tee  /pubx/"${keyword}.log"
10.   set +x #bash禁止显示执行的命令
11. }

复制代码

1. findBrcCommentThenSave BrcThen
2. findBrcCommentThenSave BrcSw
3. findBrcCommentThenSave BrcElse
4. findBrcCommentThenSave BrcFor
5. findBrcCommentThenSave BrcForRange
6. findBrcCommentThenSave BrcWhl
7. findBrcCommentThenSave BrcSw

复制代码

  各种语句分别加了多少花括号

1. ls -S /pubx/Brc* | xargs -I% sh -c  'wc -l %; '
3. '''
4. 93201 /pubx/BrcThen.log
5. 29832 /pubx/BrcSw.log
6. 5539 /pubx/BrcElse.log
7. 3603 /pubx/BrcFor.log
8. 2187 /pubx/BrcForRange.log
9. 663 /pubx/BrcWhl.log
10. '''

复制代码

  各种语句加了花括号的，有多少含有return
     这些单语句return，由于没有被花括号包裹，才没有被t_clock_tick插入栈变量开释语句。
而tick插件栈变量分配、开释不均衡，详细为 栈变量共24万、终极残留2万没开释。 此不均衡是 由于 这些约莫5万个单return语句没开释栈变量 导致的吗？
如下所示，被BrcPlugin插入花括号的语句中 约莫5万个含有return.
   

1. ls -S /pubx/Brc* | xargs -I% sh -c  'echo -n "%    "; grep return % |wc -l '
3. '''
4. /pubx/BrcThen.log    50438
5. /pubx/BrcSw.log    2681
6. /pubx/BrcElse.log    815
7. /pubx/BrcFor.log    6
8. /pubx/BrcForRange.log    4
9. /pubx/BrcWhl.log    2
10. '''

复制代码

实现

代码堆栈（私有堆栈） clang-plugin-add-brace.git
CMakeLists.txt

1. cmake_minimum_required(VERSION 3.13.4)
3. set(LIBFMT_DIR "/pubx/fmt/")
4. #set(LIBFMT_STATIC /pubx/fmt/include)
5. set(LIBFMT_INCLUDE "${LIBFMT_DIR}/include/")
6. #set(LIBFMT_STATIC /pubx/fmt/build/libfmt.a)
7. set(LIBFMT_STATIC "${LIBFMT_DIR}/build/libfmt.a")
9. include_directories( "${CMAKE_CURRENT_SOURCE_DIR}/include")
10. include_directories( "${CMAKE_CURRENT_SOURCE_DIR}/base_home/include/")
12. if (NOT EXISTS "${LIBFMT_STATIC}")
13.   MESSAGE(FATAL_ERROR "libfmt静态库${LIBFMT_STATIC} 不存在，请参照 build-libfmt.sh 构建libfmt静态库")
14. endif()
16. if (NOT EXISTS "${LIBFMT_INCLUDE}")
17.   MESSAGE(FATAL_ERROR "libfmt头文件目录${LIBFMT_INCLUDE} 不存在，请参照 build-libfmt.sh 构建libfmt静态库")
18. endif()
20. #===============================================================================
21. # 0. GET CLANG INSTALLATION DIR
22. #修改默认编译器
23. set(CT_Clang_INSTALL_DIR "/llvm_release_home/clang+llvm-15.0.0-x86_64-linux-gnu-rhel-8.4")
24. set(CMAKE_VERBOSE_MAKEFILE ON)
25. set(CURSES_LIBRARY "/lib64/libncurses.so.6")
26. set(CURSES_INCLUDE_PATH "/usr/include/")
27. set(CMAKE_EXPORT_COMPILE_COMMANDS True)
28. #编译器还是使用自带的gcc, 否则 调试时 没有 libstdc++  的调试信息，导致std::string在gdb中不显示，参考：https://stackoverflow.com/questions/58356385/python-exception-class-gdb-error-there-is-no-member-named-m-dataplus-whe/58356946#58356946
29. #   gdb显示std::string时报错: There is no member named _M_dataplus。 因此gdb不显示std::string的值.
30. #set(CMAKE_C_COMPILER "/llvm_release_home/clang+llvm-15.0.0-x86_64-linux-gnu-rhel-8.4/bin/clang")
31. #set(CMAKE_CXX_COMPILER "/llvm_release_home/clang+llvm-15.0.0-x86_64-linux-gnu-rhel-8.4/bin/clang++")
32. set(LLVM_DIR "/llvm_release_home/clang+llvm-15.0.0-x86_64-linux-gnu-rhel-8.4")
33. #set(xxx "")
35. project(clang-brc)
36. #project放到默认编译器定义之后，否则cmake会死循环
39. set(CT_LLVM_INCLUDE_DIR "${CT_Clang_INSTALL_DIR}/include/llvm")
41. set(CT_LLVM_CMAKE_FILE "${CT_Clang_INSTALL_DIR}/lib/cmake/clang/ClangConfig.cmake")
43. # http://llvm.org/docs/CMake.html#embedding-llvm-in-your-project
44. list(APPEND CMAKE_PREFIX_PATH "${CT_Clang_INSTALL_DIR}/lib/cmake/clang/")
46. find_package(Clang REQUIRED CONFIG)
48. # Sanity check. As Clang does not expose e.g. `CLANG_VERSION_MAJOR` through
49. # AddClang.cmake, we have to use LLVM_VERSION_MAJOR instead.
50. # TODO: Revisit when next version is released.
51. if(NOT "15" VERSION_EQUAL "${LLVM_VERSION_MAJOR}")
52.   message(FATAL_ERROR "Found LLVM ${LLVM_VERSION_MAJOR}, but need LLVM 15")
53. endif()
55. message(STATUS "Found Clang ${LLVM_PACKAGE_VERSION}")
56. message(STATUS "Using ClangConfig.cmake in: ${CT_Clang_INSTALL_DIR}")
58. message("CLANG STATUS:
59.   Includes (clang)    ${
60.    
61.    CLANG_INCLUDE_DIRS}
62.   Includes (llvm)     ${
63.    
64.    LLVM_INCLUDE_DIRS}"
65. )
67. # Set the LLVM and Clang header and library paths
68. include_directories(SYSTEM "${LLVM_INCLUDE_DIRS};${CLANG_INCLUDE_DIRS}")
70. #===============================================================================
71. # 3. CLANG-brc BUILD CONFIGURATION
72. #===============================================================================
73. # Use the same C++ standard as LLVM does
74. set(CMAKE_CXX_STANDARD 17 CACHE STRING "")
76. # Build type
77. if(NOT CMAKE_BUILD_TYPE)
78.   set(CMAKE_BUILD_TYPE Debug CACHE
79.       STRING "Build type (default Debug):" FORCE)
80. endif()
82. # Compiler flags
83. set(CMAKE_CXX_FLAGS "${
84.    
85.    CMAKE_CXX_FLAGS} -Wall\
86.     -fdiagnostics-color=always")
88. # LLVM/Clang is normally built without RTTI. Be consistent with that.
89. if(NOT LLVM_ENABLE_RTTI)
90.   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti")
91. endif()
93. # -fvisibility-inlines-hidden is set when building LLVM and on Darwin warnings
94. # are triggered if llvm-tutor is built without this flag (though otherwise it
95. # builds fine). For consistency, add it here too.
96. include(CheckCXXCompilerFlag)
97. check_cxx_compiler_flag("-fvisibility-inlines-hidden"
98.   SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG)
99. if(${
100.    
101.    SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG} EQUAL "1")
102.   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fvisibility-inlines-hidden")
103. endif()
105. # Set the build directories
106. set(CMAKE_RUNTIME_OUTPUT_DIRECTORY "${PROJECT_BINARY_DIR}/bin")
107. set(

复制代码

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！qidao123.com:ToB企服之家，中国第一个企服评测及软件市场,开放入驻,技术点评得现金