Changeset 1a2a49b for src/Common/CodeLocationTools.hpp

Timestamp:

Dec 9, 2020, 3:01:32 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

a1850ac

Parents:

2a59655 (diff), 364a03c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Common/CodeLocationTools.hpp (modified) (2 diffs)

src/Common/CodeLocationTools.hpp

@@ -10 +10 @@
 // Created On       : Fri Dec  4 15:35:00 2020
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Dec  4 16:18:00 2020
-// Update Count     : 0
+// Last Modified On : Wed Dec  9  9:53:00 2020
+// Update Count     : 1
 //
 
 #pragma once
-
-// Additional tools for code locations.
 
 namespace ast {
@@ -22 +20 @@
 }
 
-/// Search the translation unit for unset code locations and print information
-/// on them. Abort if any unset code locations are found.
+// Search the translation unit for unset code locations and print information
+// on them, and where the check was run if provided. Abort if any unset code
+// locations are found.
 void checkAllCodeLocations( ast::TranslationUnit const & unit );
+void checkAllCodeLocations( char const *, ast::TranslationUnit const & );
 
 // Assign a nearby code-location to any unset code locations in the forest.