Commit 1ff3d1b
authored
[Bugfix:Autograding] add dwarf 4 option to drmemory (#39)
with g++11 it is necessary to compile with dwarf4 to get line numbers
from DrMemory
"command" : "clang++ -g -gdwarf-4 -Wall -o a.out *.cpp",
// NOTE: Compiling with the -gdwarf-4 option is required with g++ 11+
// so that DrMemory can print source code line numbers with.
// See also:
// DynamoRIO/drmemory#2485
Also, in PR Submitty/Submitty#9793 the category
for a system call previously in the unknown category is updated so that
the configuration runs without the system call failure.
---------
Co-authored-by: Barb Cutler <Barb Cutler>1 parent ee27014 commit 1ff3d1b
File tree
2 files changed
+12
-2
lines changed- examples
- 08_memory_debugging/config
- 18_postgres_database/config
2 files changed
+12
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
14 | | - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
15 | 25 | | |
16 | 26 | | |
17 | 27 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
53 | | - | |
| 53 | + | |
0 commit comments